Theorem Real.cobounded_eq

Modification history

2023-10-06 14:17
Mathlib/Topology/Instances/Real.lean
refactor(MetricSpace/Basic): use `cobounded` more (#7543)
Added Real.cobounded_eqView on Github →