Entry	Value
Package Name	natural-add-sub-def
Count	1
Theorems	ADD_SUB : !m n. (m + n) - n = m

Back to main package page