PrintForm Definitions exponent Sections AutomataTheory Doc

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

(n1k1) = (n2k2)
By:
ApFunToHypEquands `x' (xk1) 7
THEN
ApFunToHypEquands `x' (n2x) 8
Generated subgoals:

None

About:
equalint