---

Step * of Lemma lcm-assoc-nat

∀[n,m,k:ℕ].  (lcm(n;lcm(m;k)) = lcm(lcm(n;m);k) ∈ ℤ)
BY
{ Auto }

1
1. n : ℕ
2. m : ℕ
3. k : ℕ
⊢ lcm(n;lcm(m;k)) = lcm(lcm(n;m);k) ∈ ℤ

---

Latex:

---

Latex:
\mforall{}[n,m,k:\mBbbN{}].    (lcm(n;lcm(m;k))  =  lcm(lcm(n;m);k))


By

---

Latex:
Auto

---

Home Index