Theorem MeasureTheory.StronglyMeasurable.div

Modification history

2026-06-03 07:58
Mathlib/MeasureTheory/Function/StronglyMeasurable/Basic.lean
feat: missing small lemmas in measure theory, cleanup (#40106)
Modified MeasureTheory.StronglyMeasurable.divView on Github →
2026-03-04 14:59
Mathlib/MeasureTheory/Function/StronglyMeasurable/Basic.lean
feat(MeasureTheory): Strong measurability is preserved under division in a group with zero (#34427) …
Added MeasureTheory.StronglyMeasurable.divView on Github →