Def AbstractCompletion.compareEquiv

Modification history

2024-05-17 19:31
Mathlib/Topology/UniformSpace/AbstractCompletion.lean
style: remove all isolated `where` (#12991)
Modified AbstractCompletion.compareEquivView on Github →
2023-02-12 22:01
Mathlib/Topology/UniformSpace/AbstractCompletion.lean
feat: port Topology.UniformSpace.AbstractCompletion (#2238)
Added AbstractCompletion.compareEquivView on Github →