Mathlib

The area under a curve is the integral.