PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
list
1
1
nat
1
1.
q:
(
q*) ~
By:
RWH (RevLemmaC
Thm*
(
f:(A
B). Bij(A; B; f))
(A ~ B)) 0
Generated subgoal:
1
f:(
q*
). Bij(
q*;
; f)
About:
f:(
q*
). Bij(q*; ; f)
(q*) ~ f:(AB). Bij(A; B; f)) 
(A ~ B))
0 f:(q*). Bij(q*; ; f)
