Nuprl Definition : fiber-member

fiber-member(p) ==  p.1


Definitions occuring in Statement :  cubical-fst: p.1
Definitions occuring in definition :  cubical-fst: p.1
FDL editor aliases :  fiber-member fiber-member
Latex:
fiber-member(p)  ==    p.1


Date html generated: 2016_06_16-PM-01_54_01
Last ObjectModification: 2016_06_03-PM-02_09_14

Theory : cubical!type!theory


Home Index