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