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

At: sq stable functionality wrt or 1
1. P: Prop
2. Q: Prop
3. SqStable(P)
4. SqStable(Q)
5. SqStable(P Q)

SqStable(P) SqStable(Q)
By: DNth 1 0
Generated subgoals:

None

About:
propor

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