Commit 2024-11-16 08:05 8db27b2c
View on Github →chore(MeasureTheory): rename AbsolutelyContinuous.smul* (#19044)
I forgot to push it to #18953 before marking it ready for review.
Rename smul to smul_left and smul_both to smul.
This way it matches, e.g., add* lemmas.