Nuprl Definition : cubical-term-at

u(a) ==  u I a


Wellformedness Lemmas :  cubical-term-at_wf
Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
FDL editor aliases :  cubical-term-at cubical-term-at
Latex:
u(a)  ==    u  I  a


Date html generated: 2016_06_16-PM-05_40_02
Last ObjectModification: 2015_09_23-AM-09_30_20

Theory : cubical!sets


Home Index