WhoCites Definitions formula equality Sections ClassicalProps(jlc) Doc

Who Cites Var?
VarDef Var == Atom
Thm* Var Type

About:
atomuniversemember!abstraction

WhoCites Definitions formula equality Sections ClassicalProps(jlc) Doc