Nuprl Definition : contr-center

contr-center(c) ==  c.1


Definitions occuring in Statement :  cubical-fst: p.1
Definitions occuring in definition :  cubical-fst: p.1
FDL editor aliases :  contr-center contr-center
Latex:
contr-center(c)  ==    c.1


Date html generated: 2016_06_16-PM-01_51_34
Last ObjectModification: 2016_06_03-PM-02_07_02

Theory : cubical!type!theory


Home Index