Commit 2024-02-15 19:01 abef58c0
View on Github →refactor(MeasureTheory/Function/UniformIntegrable): removed needlessly explicit argument (#10599)
A variable
declaration made (μ)
an explicit argument, even though it could be deduced from other arguments in almost all cases. The declaration was removed and the change propagated to other files.