WhoCites Definitions mb automata 3 Sections GenAutomata Doc

Who Cites ts trace?
ts_traceDef ts_trace(x) == inr(inr(inr(inr(x))))
Thm* x:Label. ts_trace(x) ts()

About:
inrmemberall!abstraction

WhoCites Definitions mb automata 3 Sections GenAutomata Doc