A formalization of the change of variables formula for integrals in mathlib.

Sébastien Gouëzel

Published in: CoRR (2022)

Keyphrases

database
universally quantified
variable selection
relevant variables
structural model
propositional formulas
formal model