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

At: equivalence inc 1
1. T: Type

{T} (TT)
By: Analyze 0
Generated subgoal:

12. x: {T}
x TT

About:
boolfunctionuniversemembersubtype

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