PrintForm Definitions decidability Sections ClassicalProps(jlc) Doc

At: prop decide

S:Sequent. |= S (a:Assignment. a | S)
By: Analyze 0
Generated subgoal:

11. S: Sequent
|= S (a:Assignment. a | S)

About:
allorexists