Theorem MeasureTheory.Content.toFun_eq_toNNReal_apply

Modification history

2025-02-11 15:35
Mathlib/MeasureTheory/Measure/Content.lean
refactor: don't use lambdas in `CoeFun` instances (#21405) …
Added MeasureTheory.Content.toFun_eq_toNNReal_applyView on Github →