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