PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
prod
fin
is
fin
1
1
1.
T:
Type
2.
t:
T
3.
n:
4.
f:
n
T
5.
Bij(
n; T; f)
n > 0
By:
Assert (
n = 0)
Generated subgoals:
1
n = 0
2
6.
n = 0
n > 0
About: