Step * of Lemma csm-cubical-unit

[s:Top]. ((1)s 1)
BY
PresheafMLTTInstance Obid: pscm-presheaf-unit⋅ }


Latex:


Latex:
\mforall{}[s:Top].  ((1)s  \msim{}  1)


By


Latex:
PresheafMLTTInstance  Obid:  pscm-presheaf-unit\mcdot{}




Home Index