(3steps)
PrintForm
Definitions
core
3
jlc
Sections
Support(jlc)
Doc
At:
equivalence
inc
T:Type. {T
}
(T
T
)
By:
Analyze 0
Generated subgoal:
1
1.
T:
Type
{T
}
(T
T
)
About:
(3steps)
PrintForm
Definitions
core
3
jlc
Sections
Support(jlc)
Doc
{T
} 
(T
T
)
T:Type. {T} (TT)
{T} (TT)
