Nuprl Definition : interval-type

𝕀 ==  (𝕀)


Definitions occuring in Statement :  constant-cubical-type: (X),  interval-presheaf: 𝕀
Definitions occuring in definition :  constant-cubical-type: (X),  interval-presheaf: 𝕀
FDL editor aliases :  interval-type
Latex:
\mBbbI{}  ==    (\mBbbI{})


Date html generated: 2016_05_18-PM-01_59_36
Last ObjectModification: 2016_03_03-PM-02_14_26

Theory : cubical!type!theory


Home Index