Theorem IsUniformGroup.rightUniformSpace_eq

Modification history

2025-11-12 12:36
Mathlib/Topology/Algebra/IsUniformGroup/Defs.lean
chore: rename `IsTopologicalGroup.toUniformSpace` to `IsTopologicalGroup.rightUniformSpace` (#30009) …
Added IsUniformGroup.rightUniformSpace_eqView on Github →