Thms assignment Sections ClassicalProps(jlc) Doc

Assignment Def Assignment == Var

Thm* Assignment Type

Three Def == Unit+Unit+Unit

Thm* Type

Var Def Var == Atom

Thm* Var Type

About:
!abstractionatommemberuniverseunionunitfunction