research
∙
07/26/2022
A formalization of the change of variables formula for integrals in mathlib
We report on a formalization of the change of variables formula in integ...
research
∙
08/31/2021