Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
real.smul_map_volume_mul_right
Modification history
2020-09-14 19:35
src/measure_theory/lebesgue_measure.lean
feat(measure_theory): image of Lebesgue measure under shift/rescale (#3760)
Added
real.smul_map_volume_mul_right
View on Github →