Nuprl Definition : csm-id-adjoin

[u] ==  (1(X);u)


Definitions occuring in Statement :  csm-adjoin: (s;u),  csm-id: 1(X)
Definitions occuring in definition :  csm-adjoin: (s;u),  csm-id: 1(X)
FDL editor aliases :  csm-id-adjoin
Latex:
[u]  ==    (1(X);u)


Date html generated: 2016_05_18-PM-01_43_29
Last ObjectModification: 2015_10_30-PM-01_17_18

Theory : cubical!type!theory


Home Index