Nuprl Definition : presw
presw(G;phi;f;t;t0;cT) == app(f; pres-v(G;phi;t;t0;cT))
Definitions occuring in Statement :
pres-v: pres-v(G;phi;t;t0;cT),
cubical-app: app(w; u)
Definitions occuring in definition :
pres-v: pres-v(G;phi;t;t0;cT),
cubical-app: app(w; u)
FDL editor aliases :
presw
Latex:
presw(G;phi;f;t;t0;cT) == app(f; pres-v(G;phi;t;t0;cT))
Date html generated:
2016_05_19-AM-10_58_44
Last ObjectModification:
2016_04_18-PM-04_40_30
Theory : cubical!type!theory
Home
Index