Nuprl - Pf assert iff btrue

(5steps) PrintForm Definitions bool 2 jlc Sections Support(jlc) Doc

At: assert iff btrue

P:. P P = true

By: GenUnivCD

Generated subgoals:

1 1. P:
2. P
P = true

2 1. P:
2. P = true
P

About:

(5steps) PrintForm Definitions bool 2 jlc Sections Support(jlc) Doc