Theorem ContinuousLinearEquiv.isAddHaarMeasure_map

Modification history

2024-08-30 16:41
Mathlib/MeasureTheory/Group/Measure.lean
chore(Group/Measure): drop a `T2Space` assumption (#16284)
Deleted ContinuousLinearEquiv.isAddHaarMeasure_mapView on Github →
2023-09-08 09:40
Mathlib/MeasureTheory/Group/Measure.lean
feat: expand API on locally integrable functions (#7006) …
Added ContinuousLinearEquiv.isAddHaarMeasure_mapView on Github →