PrintForm Definitions exponent Sections AutomataTheory Doc

At: exp base

n:. (n0) = 1
By:
UnivCD
THEN
RecCaseSplit `exp`
Generated subgoals:

None

About:
allequalintnatural_number