PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
rem
quo
unique
1
1.
n:
2.
r1:
n
3.
r2:
n
4.
q1:
5.
q2:
6.
r1+q1
n = r2+q2
n
r1 = r2 & q1 = q2
By:
Assert (r1 = r2)
Generated subgoals:
1
r1 = r2
2
7.
r1 = r2
r1 = r2 & q1 = q2
About:
r1 = r2 r1 = r2 & q1 = q2
nn
n = r2+q2n r1 = r2 & q1 = q2 r1 = r2 r1 = r2 & q1 = q2
