PrintForm Definitions sequent rank Sections ClassicalProps(jlc) Doc

At: sequent rank wf

Sequent
By:
Unfold `sequent_rank` 0
THEN
MemberEqCD
Generated subgoal:

11. S: Sequent
(S.H)+(S.C)

About:
memberfunctionaddapply