Thms
full
sequent
assignment
Sections
ClassicalProps(jlc)
Doc
Three_0
Def
3
== inl(
)
Thm* 3
About:
== inl(
)
== inl()
