PrintForm Definitions exponent Sections AutomataTheory Doc

At: exp non zero

m:, n:. 0 < (mn)
By: UnivCD
Generated subgoal:

11. m:
2. n:
0 < (mn)

About:
allless_thannatural_number