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.

Estimated changes