PrintForm Definitions full sequent assignment Sections ClassicalProps(jlc) Doc

At: full sequent assignment properties 1 1 1
1. S: Sequent
2. a: Assignment
3. a |= S a | S

SqStable(a |= S a | S)
By: ProveSqStable1
Generated subgoals:

None

About:
or