Theorem DilationEquiv.map_cobounded

Modification history

2023-11-29 21:38
Mathlib/Topology/MetricSpace/DilationEquiv.lean
refactor: get rid of `comap norm atTop` (#8262)
Added DilationEquiv.map_coboundedView on Github →