PrintForm Definitions exponent Sections AutomataTheory Doc

At: exp wf 1 1
1. n:

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

None

About:
memberintnatural_number