Theorem Convex.add_haar_frontier

Modification history

2023-07-13 13:50
Mathlib/Analysis/Convex/Measure.lean
chore(MeasureTheory): rename add_haar to addHaar (#5811) …
Deleted Convex.add_haar_frontierView on Github →
2023-06-09 16:10
Mathlib/Analysis/Convex/Measure.lean
feat: port Analysis.Convex.Measure (#4911)
Added Convex.add_haar_frontierView on Github →