WhoCites
Definitions
mb
automata
1
Sections
GenAutomata
Doc
Who Cites relname
other?
relname_other
Def relname_other(x) == inr(x)
About:
WhoCites
Definitions
mb
automata
1
Sections
GenAutomata
Doc