Nuprl Definition : fiber-point
fiber-point(t;c) == cubical-pair(t;c)
Definitions occuring in Statement :
cubical-pair: cubical-pair(u;v)
Definitions occuring in definition :
cubical-pair: cubical-pair(u;v)
FDL editor aliases :
fiber-point
fiber-point
Latex:
fiber-point(t;c) == cubical-pair(t;c)
Date html generated:
2016_06_16-PM-01_53_23
Last ObjectModification:
2016_06_03-PM-02_08_33
Theory : cubical!type!theory
Home
Index