PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
list
1
1
nat
1
1
1
1
1.
q:
a1,a2:
q*. enum(a1) = enum(a2)
a1 = a2
By:
UnivCD
Generated subgoal:
1
2.
a1:
q*
3.
a2:
q*
4.
enum(a1) = enum(a2)
a1 = a2
About:
q*q*
a1 = a2
a1,a2:q*. enum(a1) = enum(a2) 
a1 = a2q*q* a1 = a2
