Mathlib Changelog
v4
Changelog
About
Github
Theorem
MeasureTheory.SimpleFunc.coe_le_coe
Modification history
2024-11-08 16:20
Mathlib/MeasureTheory/Function/SimpleFunc.lean
chore: unify binary inf and min (#18707) …
Modified
MeasureTheory.SimpleFunc.coe_le_coe
View on Github →
2024-11-07 15:53
Mathlib/MeasureTheory/Function/SimpleFunc.lean
feat: induction principle for `ENNReal`-valued measurable functions from a sigma-finite space (#17835) …
Added
MeasureTheory.SimpleFunc.coe_le_coe
View on Github →