PrintForm Definitions sequent Sections ClassicalProps(jlc) Doc

At: product inc Sequent

((Formula List)(Formula List)) Sequent
By:
Unfold `Sequent` 0
THEN
Analyze 0
Generated subgoals:

None

About:
productlist