---

Step * 2 of Lemma qmul-zero-div


1. a : ℚ
2. b : ℤ-o
⊢ (0 * a) = 0 ∈ ℚ
BY
{ xxxQNorm 0xxx }

---

Latex:

---

Latex:

1.  a  :  \mBbbQ{}
2.  b  :  \mBbbZ{}\msupminus{}\msupzero{}
\mvdash{}  (0  *  a)  =  0


By

---

Latex:
xxxQNorm  0xxx

---

Home Index