PrintForm Definitions exponent Sections AutomataTheory Doc

At: exp functionality

n1,n2,k1,k2:. n1 = n2 k1 = k2 (n1k1) = (n2k2)
By: UnivCD
Generated subgoal:

11. n1:
2. n2:
3. k1:
4. k2:
5. n1 = n2
6. k1 = k2
(n1k1) = (n2k2)

About:
allimpliesequalint