PrintForm Definitions exponent Sections AutomataTheory Doc

At: geom unique 1 1 2
1. q:
2. n1:
3. n2:
4. r1: (qn1)
5. r2: (qn2)
6. (qn1)+r1 = (qn2)+r2
7. n1 < n2

n1 = n2
By: Decide (n1 > n2)
Generated subgoals:

18. n1 > n2
n1 = n2
28. n1 > n2
n1 = n2

About:
equalnatural_numberintaddless_than