Theorem Seminorm.continuous_iSup

Modification history

2024-04-23 01:17
Mathlib/Analysis/LocallyConvex/Barrelled.lean
fix: generalize index types of `iSup` to Sort (#12114) …
Modified Seminorm.continuous_iSupView on Github →
2023-08-17 21:55
Mathlib/Analysis/LocallyConvex/Barrelled.lean
feat(Analysis.LocallyConvex.Barrelled): generalize Banach-Steinhaus theorem (#5676)
Added Seminorm.continuous_iSupView on Github →