PrintForm Definitions full sequent assignment Sections ClassicalProps(jlc) Doc

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

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

1 SqStable(a |= S a | S)
24. SqStable(a |= S a | S)
a |= S a | S

About:
or