Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-07-21 14:16
1bbe6b23
View on Github →
feat(Analysis.Seminorm): some results about the order on seminorms (
#5807
)
Estimated changes
Modified
Mathlib/Analysis/Seminorm.lean
added
theorem
Seminorm.closedBall_iSup