sequent falsification Sections ClassicalProps(jlc) Doc

Def 3 == inr(inl())

In prior sections: Three assignment