Nuprl Definition : cubical-context
?CubicalContext == Provisional''''(CubicalContext)
Definitions occuring in Statement :
cubical_context: CubicalContext,
provisional-type: Provisional(T)
Definitions occuring in definition :
provisional-type: Error :provisional-type,
cubical_context: CubicalContext
FDL editor aliases :
cubical-context
Latex:
?CubicalContext == Provisional''''(CubicalContext)
Date html generated:
2020_05_20-PM-08_03_21
Last ObjectModification:
2020_03_18-AM-10_23_17
Theory : cubical!type!theory
Home
Index