Commit 2025-06-06 08:08 30ed9547
View on Github →feat(MeasureTheory): Pullback of measure preserve properties (#25176) Add a variety of theorems that prove some property is preserved under the pullback of a measure (under appropriate sufficient conditions on the function). Some of these theorems are needed in the FLT project.