PrintForm Definitions full sequent assignment Sections ClassicalProps(jlc) Doc

At: full sequent assignment properties

S:Sequent, a:Full(S). a |= S a | S
By: UnivCD
Generated subgoal:

11. S: Sequent
2. a: Full(S)
a |= S a | S

About:
allor