Nuprl Definition : Kanfiller

filler(x;i;bx) == (snd(A)) I alpha J x i bx

Definitions occuring in Statement : pi2: snd(t), apply: f a
Definitions occuring in definition : apply: f a, pi2: snd(t)
FDL editor aliases : Kanfiller

Latex:
filler(x;i;bx) == (snd(A)) I alpha J x i bx Date html generated: 2016_06_16-PM-06_44_17 Last ObjectModification: 2015_09_23-AM-09_32_16 Theory : cubical!sets Home Index