GenAutomata
Sections
NuprlLIB
Doc
Def
relname_eq(x) == inl(x)
No mentions to report in GenAutomata.
GenAutomata
Sections
NuprlLIB
Doc