Theorem Seminorm.closedBall_iSup

Modification history

2024-04-23 01:17
Mathlib/Analysis/Seminorm.lean
fix: generalize index types of `iSup` to Sort (#12114) …
Modified Seminorm.closedBall_iSupView on Github →
2023-07-21 14:16
Mathlib/Analysis/Seminorm.lean
feat(Analysis.Seminorm): some results about the order on seminorms (#5807)
Added Seminorm.closedBall_iSupView on Github →