Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-04-30 06:41
43baf3e1
View on Github →
feat: generalize
MemHolder.smul
(
#24464
)
Estimated changes
Modified
Mathlib/Topology/MetricSpace/Holder.lean
modified
theorem
HolderWith.smul
Modified
Mathlib/Topology/MetricSpace/HolderNorm.lean
modified
theorem
MemHolder.smul