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
.
feat(MeasureTheory/../Action): drop measurability assumptions (#14933)
Also reorder arguments of measure_preimage_smul
and measure_smul
.