PrintForm Definitions var jlc Sections ClassicalProps(jlc) Doc

At: Var inc atom

Var Atom
By:
Unfold `Var` 0
THEN
UnfoldTopAb 0
Generated subgoals:

None

About:
atomsubtype

PrintForm Definitions var jlc Sections ClassicalProps(jlc) Doc