Theorem Bornology.IsVonNBounded.extend_scalars

Modification history

2024-08-12 20:23

Mathlib/Analysis/LocallyConvex/Bounded.lean

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

Added Bornology.IsVonNBounded.extend_scalars View on Github →