Step * of Lemma csm-comp-sq

No Annotations
[A,B,C,F,G:Top].  (G G)
BY
PresheafMLTTInstance Obid: pscm-comp-sq⋅ }


Latex:


Latex:
No  Annotations
\mforall{}[A,B,C,F,G:Top].    (G  o  F  \msim{}  F  o  G)


By


Latex:
PresheafMLTTInstance  Obid:  pscm-comp-sq\mcdot{}




Home Index