PrintForm Definitions exponent Sections AutomataTheory Doc

At: fun enumer 1 1 1
1. n:
2. z: 0n

0 < (n0)
By: RecCaseSplit `exp`
Generated subgoals:

None

About:
less_thannatural_numberfunction