PrintForm Definitions exponent Sections AutomataTheory Doc

At: exp zero 1 1 2 1 1
1. m:
2. 0 < m
3. 1 = m
4. m = 0
5. m-1 = 0

(0m-1)0 = 0
By: RWH (RevLemmaC Thm* i:. 0 = i0) 0
Generated subgoals:

None

About:
equalintmultiplynatural_numbersubtractless_than