Nuprl - Pf equivalence bool function

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

At: equivalence bool function

T:Type, eq:{T}. eq TT

By: UnivCD

Generated subgoal:

1 1. T: Type
2. eq: {T}
eq TT

About:

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