Entry	Value
Package Name	natural-funpow-def
Count	2
Theorems	funpow_suc : !f n. funpow f (SUC n) = f o funpow f n funpow_zero : !f. funpow f 0 = I

Back to main package page