80 citations · 87 across the 7 of their papers we have counts for
1 paper · 1 filter
Sébastien Gouëzel
We report on a formalization of the change of variables formula in integrals, in the mathlib library for Lean. Our version of this theorem is extremely general, and builds on devel…