GenAutomata
Sections
NuprlLIB
Doc
Def
IsEqFun(T;eq) ==
x,y:T.
(x eq y)
x = y
is mentioned
In prior sections:
rel
1
GenAutomata
Sections
NuprlLIB
Doc
x,y:T. 
(x eq y) 
x = y