Thms formula validity Sections ClassicalProps(jlc) Doc

Var Def Var == Atom

Thm* Var Type

About:
!abstractionatommemberuniverse