Nuprl Definition : cubical-apply

cubical-apply(w;u) ==  app(w; u)


Definitions occuring in Statement :  cubical-app: app(w; u)
Definitions occuring in definition :  cubical-app: app(w; u)
FDL editor aliases :  cubical-apply
Latex:
cubical-apply(w;u)  ==    app(w;  u)


Date html generated: 2016_05_18-PM-01_53_19
Last ObjectModification: 2016_03_02-PM-04_29_08

Theory : cubical!type!theory


Home Index