Entry	Value
Package Name	natural-mult-def
Count	2
Theorems	SUC_MULT : !m n. SUC m * n = m * n + n ZERO_MULT : !n. 0 * n = 0

Back to main package page