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

At: equivalence bool function 1
1. T: Type
2. eq: {T}

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

None

About:
boolfunctionuniversemember

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