PrintForm Definitions sequent rank Sections ClassicalProps(jlc) Doc

At: sequent rank wf 1
1. S: Sequent

(S.H)+(S.C)
By:
Analyze -1
THEN
Reduce 0
Generated subgoal:

11. S1: Formula List
2. S2: Formula List
(S1)+(S2)

About:
memberaddapply