---

Step * of Lemma qmul-zero

∀a,b:ℚ.  ((a * b) = 0 ∈ ℚ ⇐⇒ (a = 0 ∈ ℚ) ∨ (b = 0 ∈ ℚ))
BY
{ xxxAutoxxx }

1
1. a : ℚ
2. b : ℚ
3. (a * b) = 0 ∈ ℚ
⊢ (a = 0 ∈ ℚ) ∨ (b = 0 ∈ ℚ)

2
1. a : ℚ
2. b : ℚ
3. (a = 0 ∈ ℚ) ∨ (b = 0 ∈ ℚ)
⊢ (a * b) = 0 ∈ ℚ

---

Latex:

---

Latex:
\mforall{}a,b:\mBbbQ{}.    ((a  *  b)  =  0  \mLeftarrow{}{}\mRightarrow{}  (a  =  0)  \mvee{}  (b  =  0))


By

---

Latex:
xxxAutoxxx

---

Home Index