PrintForm Definitions full sequent assignment Sections ClassicalProps(jlc) Doc

At: full sequent assignment inc 1
1. S: Sequent

Full(S) Assignment
By: UnfoldTopAb 0
Generated subgoal:

1 x:Full(S). x Assignment

About:
allmember