WhoCites Definitions mb automata 1 Sections GenAutomata Doc

Who Cites ts op?
ts_opDef ts_op(x) == inr(inr(inl(x)))
Thm* x:Label. ts_op(x) ts()

About:
inlinrmemberall!abstraction

WhoCites Definitions mb automata 1 Sections GenAutomata Doc