sequent falsification Sections ClassicalProps(jlc) Doc

Def 3 == inr(inr())

In prior sections: Three Kleene