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