Theorem Measurable.smul'

Modification history

2024-10-08 15:34
Mathlib/MeasureTheory/Group/Arithmetic.lean
chore(MeasureTheory/Group/Arithmetic): tag more lemmas with `fun_prop` (#17304) …
Added Measurable.smul'View on Github →