Nuprl Definition : tidentity
Id{T} == Id
Definitions occuring in Statement :
identity: Id
Definitions occuring in definition :
identity: Id
FDL editor aliases :
tidentity
Latex:
Id\{T\} == Id
Date html generated:
2016_05_13-PM-04_04_29
Last ObjectModification:
2015_09_22-PM-05_45_49
Theory : fun_1
Home
Index