Thms sequent falsification Sections ClassicalProps(jlc) Doc

Three_2 Def 3 == inr(inr())

Thm* 3

About:
!abstractioninritmember