PrintForm Definitions exponent Sections AutomataTheory Doc

At: exp wf2 1 1
1. n:

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

None

About:
membernatural_number