Nuprl Definition : presheaf-term-at

u(a) ==  u I a


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


Date html generated: 2018_05_22-PM-10_03_55
Last ObjectModification: 2018_02_21-AM-11_53_01

Theory : presheaf!models!of!type!theory


Home Index