PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: qimp lbl wf

t:qimp{i:l}(). t.lbl Label
By: YRecModulePiTac 3 `qimp` [`qimp_lbl`;`qimp_hyp`;`qimp_concl`]
Generated subgoals:

None

About:
memberall

PrintForm Definitions mb automata 2 Sections GenAutomata Doc