Commit 2024-03-13 15:40 98385b0e

View on Github →

feat: add a variant of measurableSet_eq_fun that applies to ENNReal (#11275)

Estimated changes

added theorem measurableSet_eq_fun'