Nuprl Definition : pscm-id-adjoin

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


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


Date html generated: 2018_05_23-AM-08_13_02
Last ObjectModification: 2018_02_21-PM-01_15_30

Theory : presheaf!models!of!type!theory


Home Index