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

At: decidable functionality wrt iff 2
1. P: Prop
2. Q: Prop
3. P Q
4. P Q
5. Q Q

P P
By: Analyze 5
Generated subgoals:

15. Q
P P
25. Q
P P

About:
propimpliesor

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