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

At: not not rw 1 1 1 1 1
1. T: Type
2. P: TProp
3. x: T
4. P(x)
5. P(x)
6. P(x)

False
By:
Analyze 6
THEN
Trivial
Generated subgoals:

None

About:
functionuniversepropfalse

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