(3steps) PrintForm Definitions mb label Sections GenAutomata Doc

At: ptn atom wf3 1
1. x: Atom

ptn_atom(x) {p:Pattern| ground_ptn(p) }
By: Analyze
Generated subgoal:

1 ground_ptn(ptn_atom(x))

About:
assertatomsetmember

(3steps) PrintForm Definitions mb label Sections GenAutomata Doc