PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
fin
dist
func
St:Type. Fin(St)
(
eq:(St
St
).
x,y:St. eq(x,y)
x = y)
By:
RepD
Generated subgoal:
1
1.
St:
Type
2.
Fin(St)
eq:(St
St
).
x,y:St. eq(x,y)
x = y
About:
eq:(St
St
). 
x,y:St. eq(x,y) 
x = y St:Type. Fin(St) (eq:(StSt). x,y:St. eq(x,y) x = y) eq:(StSt). x,y:St. eq(x,y) x = y
