PrintForm Definitions full sequent assignment Sections ClassicalProps(jlc) Doc

At: full sequent assignment inc

S:Sequent. Full(S) Assignment
By: UnivCD
Generated subgoal:

11. S: Sequent
Full(S) Assignment

About:
all