Theorem UniformEquiv.comap_eq

Modification history

2024-05-08 01:12

Mathlib/Topology/UniformSpace/Equiv.lean

feat(UniformConvergenceTopology): prove `CompleteSpace` (#10844)

Modified UniformEquiv.comap_eq View on Github →

2023-02-11 08:36

Mathlib/Topology/UniformSpace/Equiv.lean

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

Added UniformEquiv.comap_eq View on Github →