PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
fin
iff
1
1
nsub
1
1.
T:
Type
(
n:
, f:(
n
T). Bij(
n; T; f))
(
m:
.
m ~ T)
By:
RWH (LemmaC
Thm*
(
f:(A
B). Bij(A; B; f))
(A ~ B)) 0
Generated subgoals:
None
About:
(
n:
, f:(n
T). Bij(n; T; f)) 
(m:. m ~ T)f:(AB). Bij(A; B; f)) (A ~ B))
0