---

Step * of Lemma nat_op_on_nat_add_mon

∀[m,n:ℕ].  ((m ⋅ n) = (m * n) ∈ ℕ)
BY
{ ((RepD) THENA Auto) }

1
1. m : ℕ
2. n : ℕ
⊢ (m ⋅ n) = (m * n) ∈ ℕ

---

Latex:

---

Latex:
\mforall{}[m,n:\mBbbN{}].    ((m  \mcdot{}  n)  =  (m  *  n))


By

---

Latex:
((RepD)  THENA  Auto)

---

Home Index