---

Step * of Lemma square-req-self-iff

∀x:ℝ. ((x * x) = x ⇐⇒ (x = r1) ∨ (x = r0))
BY
{ Auto }

1
1. x : ℝ
2. (x * x) = x
⊢ (x = r1) ∨ (x = r0)

2
1. x : ℝ
2. (x = r1) ∨ (x = r0)
⊢ (x * x) = x

---

Latex:

---

Latex:
\mforall{}x:\mBbbR{}.  ((x  *  x)  =  x  \mLeftarrow{}{}\mRightarrow{}  (x  =  r1)  \mvee{}  (x  =  r0))


By

---

Latex:
Auto

---

Home Index