Theorem NormedSpace.isVonNBounded_of_isBounded

Modification history

2024-06-05 15:42
Mathlib/Analysis/LocallyConvex/Bounded.lean
chore(LocallyConvex/Bounded): use implicit args (#13531) …
Added NormedSpace.isVonNBounded_of_isBoundedView on Github →