GenAutomata Sections NuprlLIB Doc

Def Linorder(T;x,y.R(x;y)) == Order(T;x,y.R(x;y)) & Connex(T;x,y.R(x;y))

is mentioned

In prior sections: rel 1


GenAutomata Sections NuprlLIB Doc