Theorem MeasureTheory.IsHahnDecomposition.compl

Modification history

2025-06-23 08:19
Mathlib/MeasureTheory/Measure/Decomposition/Hahn.lean
feat(MeasureTheory/Decomposition): link the clipped sub of positive measures to Jordan decomposition (#23500) …
Added MeasureTheory.IsHahnDecomposition.complView on Github →