PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
fin
is
decid
1
1
1
1.
T:
Type
2.
n:
3.
f:
n
T
4.
Bij(
n; T; f)
5.
x:
T
6.
y:
T
Dec(x = y)
By:
Analyze 4
Generated subgoal:
1
4.
Inj(
n; T; f)
5.
Surj(
n; T; f)
6.
x:
T
7.
y:
T
Dec(x = y)
About:
n; T; f)n; T; f)
Dec(x = y)n
Tn; T; f) Dec(x = y)n; T; f)n; T; f) Dec(x = y)
