PrintForm Definitions sequent rank Sections ClassicalProps(jlc) Doc

At: sequent rank wf 1 1
1. S1: Formula List
2. S2: Formula List

(S1)+(S2)
By: GenConclOnAps
Generated subgoals:

None

About:
memberaddapplylist