---

Step * of Lemma MachinPi4_wf

MachinPi4() ∈ {x:ℝ| x = (π/r(4))} 
BY
{ ProveWfLemma }

1
4 * atan(5;(r1)/5) - atan(239;(r1)/239) ∈ {x:ℝ| x = (π/r(4))} 

---

Latex:

---

Latex:
MachinPi4()  \mmember{}  \{x:\mBbbR{}|  x  =  (\mpi{}/r(4))\} 


By

---

Latex:
ProveWfLemma

---

Home Index