Def MeasureTheory.ComplexMeasure.equivSignedMeasure

Modification history

2023-05-29 14:32

Mathlib/MeasureTheory/Measure/Complex.lean

feat: port MeasureTheory.Measure.Complex (#4471)

Added MeasureTheory.ComplexMeasure.equivSignedMeasure View on Github →