P
Initializing...
Theorem 8.7 — the trigonometric functions and $\pi$ · Prove2Me