Theorem Int.cobounded_eq

Modification history

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