Def IsTopologicalGroup.rightUniformSpace

Modification history

2025-11-12 12:36

Mathlib/Topology/Algebra/IsUniformGroup/Defs.lean

chore: rename `IsTopologicalGroup.toUniformSpace` to `IsTopologicalGroup.rightUniformSpace` (#30009) …

Added IsTopologicalGroup.rightUniformSpace View on Github →