Nuprl Definition : cubical-interval-ap

u(L) ==  u L


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
FDL editor aliases :  cubical-interval-ap
Latex:
u(L)  ==    u  L


Date html generated: 2016_06_16-PM-06_50_01
Last ObjectModification: 2015_09_23-AM-09_32_45

Theory : cubical!sets


Home Index