Nuprl Definition : ext-eq-cs
X ≡ Y == X ≡ Y
Definitions occuring in Statement :
cube-cat: CubeCat,
ext-eq-psc: X ≡ Y
Definitions occuring in definition :
ext-eq-psc: X ≡ Y,
cube-cat: CubeCat
FDL editor aliases :
ext-eq-cs
Latex:
X \mequiv{} Y == X \mequiv{} Y
Date html generated:
2018_05_23-AM-08_31_28
Last ObjectModification:
2018_02_22-PM-01_49_14
Theory : cubical!type!theory
Home
Index