Nuprl Definition : cubical_set
CubicalSet == __⊢
Definitions occuring in Statement :
cube-cat: CubeCat,
ps_context: __⊢
Definitions occuring in definition :
ps_context: __⊢,
cube-cat: CubeCat
FDL editor aliases :
cubical_set
Latex:
CubicalSet == \_\_\mvdash{}
Date html generated:
2018_05_23-AM-08_30_51
Last ObjectModification:
2018_02_22-PM-01_45_40
Theory : cubical!type!theory
Home
Index