Commit 2025-07-28 20:02 753d3b61

View on Github →

chore: remove useless assumption in measure instances (#27594)

Estimated changes

modified theorem MeasureTheory.Measure.pi_eq
modified theorem MeasureTheory.Measure.pi_pi