PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
list
1
1
nat
1
1
1.
q:
f:(
q*
). Bij(
q*;
; f)
By:
Witness
l.enum(l)
Generated subgoal:
1
Bij(
q*;
;
l.enum(l))
About:
Bij(
q*; ; 
l.enum(l))
f:(q*
). Bij(q*; ; f)l.enum(l) Bij(q*; ; l.enum(l))
