Theorem Filter.HasBasis.isVonNBounded_iff

Modification history

2024-01-14 01:19
Mathlib/Analysis/LocallyConvex/Bounded.lean
chore(LocallyConvex/Bounded): rename a lemma (#9712) …
Added Filter.HasBasis.isVonNBounded_iffView on Github →