---

Step * of Lemma halfpi-half-pi

π/2 = π/2(slower)
BY
{ ((InstLemma `halfpi_wf1` [] THEN Auto) THEN MemTypeHD (-1) THEN Unhide THEN Auto) }

---

Latex:

---

Latex:
\mpi{}/2  =  \mpi{}/2(slower)


By

---

Latex:
((InstLemma  `halfpi\_wf1`  []  THEN  Auto)  THEN  MemTypeHD  (-1)  THEN  Unhide  THEN  Auto)

---

Home Index