(3steps)
PrintForm
Definitions
discrete
jlc
Sections
Support(jlc)
Doc
At:
discrete
equality
inc
T:Type. {T=
}
(T
T
)
By:
UnivCD
Generated subgoal:
1
1.
T:
Type
{T=
}
(T
T
)
About:
(3steps)
PrintForm
Definitions
discrete
jlc
Sections
Support(jlc)
Doc
{T=
} 
(T
T
)
T:Type. {T=} (TT)
{T=} (TT)
