WhoCites Definitions mb automata 4 Sections GenAutomata Doc

Who Cites relname other?
relname_otherDef relname_other(x) == inr(x)
Thm* x:Label. relname_other(x) relname()

About:
inrmemberall!abstraction

WhoCites Definitions mb automata 4 Sections GenAutomata Doc