Step
*
of Lemma
csm-comp-sq
No Annotations
∀[A,B,C,F,G:Top].  (G o F ~ F o 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