A formalization of the change of variables formula for integrals in mathlib (Q6159362)
From MaRDI portal
scientific article; zbMATH DE number 7691287
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A formalization of the change of variables formula for integrals in mathlib |
scientific article; zbMATH DE number 7691287 |
Statements
A formalization of the change of variables formula for integrals in mathlib (English)
0 references
2 June 2023
0 references
change of variables
0 references
integral
0 references
formalization
0 references
mathlib
0 references
