PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: pred mentions wf

p:Fmla, x:Label. pred_mentions(p;x) Prop
By:
Unfold `pred_mentions` 0
THEN
Fold `pred` 0
Generated subgoals:

None

About:
memberpropall

PrintForm Definitions mb automata 2 Sections GenAutomata Doc