PrintForm Definitions exponent Sections AutomataTheory Doc

At: exp functionality 1
1. n1:
2. n2:
3. k1:
4. k2:
5. n1 = n2
6. k1 = k2

(n1k1) = (n2k2)
By:
Assert (n1 = n2)
THEN
Assert (k1 = k2)
Generated subgoal:

17. n1 = n2
8. k1 = k2
(n1k1) = (n2k2)

About:
equalint