Nuprl Definition : fiber-path

fiber-path(p) ==  p.2


Definitions occuring in Statement :  cubical-snd: p.2
Definitions occuring in definition :  cubical-snd: p.2
FDL editor aliases :  fiber-path fiber-path
Latex:
fiber-path(p)  ==    p.2


Date html generated: 2016_06_16-PM-01_54_38
Last ObjectModification: 2016_06_03-PM-02_09_49

Theory : cubical!type!theory


Home Index