Theorem Bornology.IsVonNBounded.of_subsingleton

Modification history

2024-08-12 20:23

Mathlib/Analysis/LocallyConvex/Bounded.lean

feat(StrongTopology): generalize `ContinuousLinearMap.restrictScalarsL` (#15285)

Added Bornology.IsVonNBounded.of_subsingleton View on Github →