Nuprl Definition : csm-id-adjoin
[u] == (1(X);u)
Wellformedness Lemmas :
csm-id-adjoin_wf
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_06_16-PM-05_41_37
Last ObjectModification:
2015_09_23-AM-09_30_35
Theory : cubical!sets
Home
Index