PrintForm Definitions sequent satisfaction Sections ClassicalProps(jlc) Doc

At: sq stable sequent satisfiable 1
1. a: Assignment
2. S: Sequent

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

None