Nuprl Definition : cube-set-restriction

f(s) ==  (snd(X)) I J f s


Wellformedness Lemmas :  cube-set-restriction_wf
Definitions occuring in Statement :  pi2: snd(t),  apply: f a
Definitions occuring in definition :  apply: f a,  pi2: snd(t)
FDL editor aliases :  cube-set-restriction cube-set-restriction
Latex:
f(s)  ==    (snd(X))  I  J  f  s


Date html generated: 2016_06_16-PM-05_36_32
Last ObjectModification: 2015_10_28-PM-01_13_37

Theory : cubical!sets


Home Index