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.
fix(MeasureTheory/Integral/IntegrableOn): fix typo "AeStronglyMeasurable" (#21753)
AeStronglyMeasurable
should be AEStronglyMeasurable
. This fixes dot notation.