Theorem NormedSpace.isVonNBounded_iff'

Modification history

2024-06-05 15:42

Mathlib/Analysis/LocallyConvex/Bounded.lean

chore(LocallyConvex/Bounded): use implicit args (#13531) …

Modified NormedSpace.isVonNBounded_iff'View on Github →

2023-04-26 23:45

Mathlib/Analysis/LocallyConvex/Bounded.lean

feat: port Analysis.LocallyConvex.Bounded (#3656)

Added NormedSpace.isVonNBounded_iff'View on Github →