PrintForm Definitions mb automata 4 Sections GenAutomata Doc

At: tc vc wf

v:vc{i:l}(), ds,da:Collection(dec()), de:sig(). tc_vc(v;ds;da;de) Prop
By:
UnivCD
THEN
Unfold `tc_vc` 0
THEN
Analyze 1
THEN
Reduce 0
Generated subgoals:

None

About:
memberpropall

PrintForm Definitions mb automata 4 Sections GenAutomata Doc