Theorem UniformEquiv.range_coe

Modification history

2025-03-02 22:57

Mathlib/Topology/UniformSpace/Equiv.lean

chore: cleanup another `erw` by generalizing `Equiv.range_eq_univ` to EquivLike (#21710)

Modified UniformEquiv.range_coe View on Github →

2023-02-11 08:36

Mathlib/Topology/UniformSpace/Equiv.lean

feat: port Topology.UniformSpace.Equiv (#2092)

Added UniformEquiv.range_coe View on Github →