Commit 2025-04-14 13:03 abfb567a
View on Github →chore: add to_additive translation for Measure.mconv (#24034)
Fix to_additive translation to convert MeasureTheory.Measure.mconv to MeasureTheory.Measure.conv. Also add docstrings for the additive versions.