Theorem tendsto_const_sub_cobounded

Modification history

2025-11-05 14:53

Mathlib/Topology/Bornology/BoundedOperation.lean

feat(Analysis/Normed/Algebra/GelfandMazur): new file (#29649) …

Added tendsto_const_sub_cobounded View on Github →