(3steps) PrintForm Definitions discrete jlc Sections Support(jlc) Doc

At: discrete equality inc 1 1
1. T: Type
2. x: {T=}

x TT
By:
Analyze -1
THEN
Trivial
Generated subgoals:

None

About:
boolfunctionuniversemember

(3steps) PrintForm Definitions discrete jlc Sections Support(jlc) Doc