PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
enum
surj
q:
, a:
.
l:
q*. enum(l) = a
By:
UnivCD
Generated subgoal:
1
1.
q:
2.
a:
l:
q*. enum(l) = a
About:
l:q*. enum(l) = a 
q:, a:. l:q*. enum(l) = a l:q*. enum(l) = a
