Nuprl Definition : cc-snd

==  λI,p. (snd(p))



Definitions occuring in Statement :  pi2: snd(t) lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x] pi2: snd(t)
FDL editor aliases :  cc-snd cc-snd

Latex:
q  ==    \mlambda{}I,p.  (snd(p))



Date html generated: 2016_05_18-PM-01_42_17
Last ObjectModification: 2015_10_28-PM-06_26_29

Theory : cubical!type!theory


Home Index