PrintForm Definitions full sequent assignment Sections ClassicalProps(jlc) Doc

At: full sequent assignment inc 1 1 1
1. S1: Formula List
2. S2: Formula List
3. x: Full( < S1,S2 > )

x Assignment
By:
Unfold `full_sequent_assignment` -1
THEN
Analyze -1
Generated subgoals:

None

About:
memberlistpair