Nuprl Definition : cubical-universe
c𝕌 == closed-type-to-type(cc𝕌)
Definitions occuring in Statement :
closed-cubical-universe: cc𝕌,
closed-type-to-type: closed-type-to-type(T)
Definitions occuring in definition :
closed-type-to-type: closed-type-to-type(T),
closed-cubical-universe: cc𝕌
FDL editor aliases :
c-univ
c-univ
Latex:
c\mBbbU{} == closed-type-to-type(cc\mBbbU{})
Date html generated:
2020_05_20-PM-07_06_15
Last ObjectModification:
2020_03_20-AM-10_48_57
Theory : cubical!type!theory
Home
Index