Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-02-21 14:19
e6bc0f58
View on Github →
feat: add
snorm_restrict_le
(
#10788
)
Estimated changes
Modified
Mathlib/MeasureTheory/Function/LpSeminorm/Basic.lean
added
theorem
MeasureTheory.snorm_restrict_le