---

Step * of Lemma interval-type-at

∀[J,rho:Top].  (𝕀(rho) ~ 𝕀(J))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[J,rho:Top].    (\mBbbI{}(rho)  \msim{}  \mBbbI{}(J))


By

---

Latex:
Auto

---

Home Index