Thms
sequent
sat
lemmas
Sections
ClassicalProps(jlc)
Doc
Three
Def
== Unit+Unit+Unit
Thm*
Type
About:
== Unit+Unit+Unit
Type == Unit+Unit+Unit
