sequent
falsification
Sections
ClassicalProps(jlc)
Doc
Def
3
== inl(
)
In prior sections:
Three
== inl(
)