Nuprl Definition : type_inj
[x]{T} == x
FDL editor aliases
:
type_inj
Latex:
[x]\{T\} == x
Date html generated: 2016_05_13-PM-03_14_51
Last ObjectModification: 2016_01_04-AM-10_26_24
Theory :
core_2
Home
Index