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

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

Q Q
By:
DNth 1 0
THEN
FwdThru 3 [5]
Generated subgoals:

None

About:
propimpliesor

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