Theorem Bornology.sUnion_isVonNBounded_eq_univ

Modification history

2025-11-14 12:57
Mathlib/Analysis/LocallyConvex/Bounded.lean
chore(Analysis/LocallyConvex): rename a boundedness lemma (#31620) …
Added Bornology.sUnion_isVonNBounded_eq_univView on Github →