Entry	Value
Package Name	natural-add-def
Count	2
Theorems	SUC_ADD : !m n. SUC m + n = SUC (m + n) ZERO_ADD : !n. 0 + n = n

Back to main package page