Nuprl Definition : face-cube
cube(f) == snd(snd(f))
Definitions occuring in Statement :
pi2: snd(t)
Definitions occuring in definition :
pi2: snd(t)
FDL editor aliases :
face-cube
Latex:
cube(f) == snd(snd(f))
Date html generated:
2016_06_16-PM-05_48_53
Last ObjectModification:
2015_09_23-AM-09_31_07
Theory : cubical!sets
Home
Index