Theorem MonoidHom.uniformContinuous_of_continuousAt_one
Modification history
2025-03-31 11:38
Mathlib/Topology/Algebra/IsUniformGroup/Defs.lean
chore: rename UniformGroup -> IsUniformGroup and UniformAddGroup -> IsUniformAddGroup (#23345) …
Modified MonoidHom.uniformContinuous_of_continuousAt_oneView on Github →