Nuprl Definition : cubical-term-at

u(a) ==  u I a


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_05_18-PM-01_40_28
Last ObjectModification: 2015_10_28-PM-06_23_11

Theory : cubical!type!theory


Home Index