WhoCites Definitions mb automata 4 Sections GenAutomata Doc

Who Cites relname eq?
relname_eqDef relname_eq(x) == inl(x)
Thm* x:SimpleType. relname_eq(x) relname()

About:
inlmemberall!abstraction

WhoCites Definitions mb automata 4 Sections GenAutomata Doc