Theorem WithSeminorms.isVonNBounded_iff_seminorm_bddAbove

Modification history

2026-01-16 20:13
Mathlib/Analysis/LocallyConvex/WithSeminorms.lean
feat: add `PolynormableSpace.banach_steinhaus` (#32481)
Added WithSeminorms.isVonNBounded_iff_seminorm_bddAboveView on Github →