Theorem MeasureTheory.regular_inv_iff

Modification history

2023-11-29 14:38
Mathlib/MeasureTheory/Group/Measure.lean
feat: uniqueness of Haar measure in general locally compact groups (#8198) …
Modified MeasureTheory.regular_inv_iffView on Github →
2023-11-17 05:53
Mathlib/MeasureTheory/Group/Measure.lean
chore: bump to v4.3.0-rc2 (#8366) …
Modified MeasureTheory.regular_inv_iffView on Github →
2023-11-11 06:37
Mathlib/MeasureTheory/Group/Measure.lean
feat: more facts on measures in topological groups (#8286) …
Modified MeasureTheory.regular_inv_iffView on Github →
2023-05-30 10:47
Mathlib/MeasureTheory/Group/Measure.lean
feat: port MeasureTheory.Group.Measure (#4496)
Added MeasureTheory.regular_inv_iffView on Github →