(2steps) PrintForm Definitions core 3 jlc Sections Support(jlc) Doc

At: sq stable or 1
1. P: Prop
2. Q: Prop
3. Dec(P)
4. Dec(Q)

SqStable(P Q)
By: ProveDecidable1
Generated subgoals:

None

About:
decidablepropor

(2steps) PrintForm Definitions core 3 jlc Sections Support(jlc) Doc