GenAutomata
Sections
NuprlLIB
Doc
Def
relname_other(x) == inr(x)
No mentions to report in GenAutomata.
GenAutomata
Sections
NuprlLIB
Doc