PrintForm Definitions list 3 autom Sections AutomataTheory Doc

At: mem f wf

T:Type, a:T, bs:T*. mem_f(T;a;bs) Prop
By:
RepD
THEN
OnVar `bs' ListIndA
THEN
Reduce 0
Generated subgoals:

None

About:
alluniverselistmemberprop