PrintForm Definitions mb automata 3 Sections GenAutomata Doc

At: pre rel wf

t:pre(). t.rel rel()
By: YRecModulePiTac 3 `pre` [`pre_kind`;`pre_val`;`pre_rel`]
Generated subgoals:

None

About:
memberall

PrintForm Definitions mb automata 3 Sections GenAutomata Doc