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

At: equivalence inc 1 1
1. T: Type
2. x: {T}

x TT
By: Analyze -1
Generated subgoals:

None

About:
boolfunctionuniversemember

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