Nuprl Definition : csm-id
1(X) == identity-trans(NameCat;TypeCat;X)
Wellformedness Lemmas :
csm-id_wf
Definitions occuring in Statement :
name-cat: NameCat,
type-cat: TypeCat,
identity-trans: identity-trans(C;D;F)
Definitions occuring in definition :
identity-trans: identity-trans(C;D;F),
name-cat: NameCat,
type-cat: TypeCat
FDL editor aliases :
csm-id
Latex:
1(X) == identity-trans(NameCat;TypeCat;X)
Date html generated:
2016_06_16-PM-05_35_59
Last ObjectModification:
2015_09_23-AM-09_29_55
Theory : cubical!sets
Home
Index