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