Theorem uniformContinuous_monoidHom_of_continuous
Modification history
2024-10-28 06:12
Mathlib/Topology/Algebra/UniformGroup/Basic.lean
chore: split Mathlib.Topology.Algebra.UniformGroup (#18311) …
Modified uniformContinuous_monoidHom_of_continuousView on Github →