Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-02-19 11:02
36546b1a
View on Github →
feat: MemLp.integrable_mul (
#21905
)
Estimated changes
Modified
Mathlib/MeasureTheory/Function/L1Space/Integrable.lean
added
theorem
MeasureTheory.Memℒp.integrable_mul