Theorem Dilation.comap_cobounded

Modification history

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