PrintForm Definitions full sequent assignment Sections ClassicalProps(jlc) Doc

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

a |= S a | S
By:
UnhideSqStableHyp1 3
THEN
Trivial
Generated subgoals:

None

About:
or