Commit 2025-11-14 12:57 aa53d9b9
View on Github →chore(Analysis/LocallyConvex): rename a boundedness lemma (#31620)
It was requested in #30523 that the corresponding lemma for IsCompact should be called sUnion_isCompact_eq_univ, so this one should be sUnion_isVonNBounded_eq_univ.