PrintForm Definitions exponent Sections AutomataTheory Doc

At: rem quo unique 1 2 2
1. n:
2. r1: n
3. r2: n
4. q1:
5. q2:
6. r1+q1n = r2+q2n
7. r1 = r2

q1 = q2
By: RWH (HypC 7) 6
Generated subgoal:

16. r2+q1n = r2+q2n
7. r1 = r2
q1 = q2

About:
equalintnatural_numberaddmultiply