P
Initializing...
Theorem 6.20 — the integral as an antiderivative · Prove2Me