Thms sequent falsification Sections ClassicalProps(jlc) Doc

Three_1 Def 3 == inr(inl())

Thm* 3

About:
!abstractioninrinlitmember