---

Step * of Lemma dM1-meet-dM1

∀[I:Top]. (1 ∧ 1 ~ 1)
BY
{ (Intro THEN ByComputation 2000 THEN EqCD THEN ByComputation 2000) }

---

Latex:

---

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


By

---

Latex:
(Intro  THEN  ByComputation  2000  THEN  EqCD  THEN  ByComputation  2000)

---

Home Index