Theorem Bornology.sUnion_isVonNBounded_eq_univ

Modification history

2026-07-17 09:57
Mathlib/Analysis/LocallyConvex/Bounded.lean
chore(Data): rename `setOf` to `Set.ofPred` (#41507) …
Modified Bornology.sUnion_isVonNBounded_eq_univView on Github →
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 →