Commit 2024-07-20 19:54 6fdf9931

View on Github →

feat(MeasureTheory/../Action): drop measurability assumptions (#14933) Also reorder arguments of measure_preimage_smul and measure_smul.

Estimated changes