---

Step * 1 2 of Lemma rabs-int-rmul-unit


1. k : ℕ
2. x : ℝ
⊢ 1 * |x| = |x|
BY
{ Auto }

---

Latex:

---

Latex:

1.  k  :  \mBbbN{}
2.  x  :  \mBbbR{}
\mvdash{}  1  *  |x|  =  |x|


By

---

Latex:
Auto

---

Home Index