Commit 2025-02-12 15:46 616531f1

View on Github →

fix(MeasureTheory/Integral/IntegrableOn): fix typo "AeStronglyMeasurable" (#21753) AeStronglyMeasurable should be AEStronglyMeasurable. This fixes dot notation.

Estimated changes