PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
prod
fin
is
fin
1
2
1
1.
T:
Type
2.
t:
T
3.
n:
4.
f:
n
T
5.
Bij(
n; T; f)
6.
n > 0
0
n
n
By:
BackThru
Thm*
a,b:
. 0
a
b
Generated subgoals:
None
About:
n
Tn; T; f)
0
n
n
a,b:. 0ab
