PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: vc hyp wf

v:vc{i:l}(). vc_hyp(v) Fmla
By:
Auto
THEN
Unfold `vc_hyp` 0
THEN
Analyze 1
THEN
Reduce 0
Generated subgoals:

None

About:
memberall

PrintForm Definitions mb automata 2 Sections GenAutomata Doc