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

At: sq stable or

P,Q:Prop. Dec(P) Dec(Q) SqStable(P Q)
By: UnivCD
Generated subgoal:

11. P: Prop
2. Q: Prop
3. Dec(P)
4. Dec(Q)
SqStable(P Q)

About:
decidablepropimpliesorall

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