Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
is_unit.measurable_const_smul_iff
Modification history
2021-03-28 12:00
src/measure_theory/arithmetic.lean
refactor(measure_theory): add typeclasses for measurability of operations (#6832) …
Added
is_unit.measurable_const_smul_iff
View on Github →