sequent Sections ClassicalProps(jlc) Doc

Def Sequent == (Formula List)(Formula List)

Thm* ((Formula List)(Formula List)) Sequent product_inc_Sequent