Theorem UniformGroup.mk'

Modification history

2025-03-31 11:38

Mathlib/Topology/Algebra/IsUniformGroup/Defs.lean

chore: rename UniformGroup -> IsUniformGroup and UniformAddGroup -> IsUniformAddGroup (#23345) …

Deleted UniformGroup.mk'View on Github →

2024-10-28 06:12

Mathlib/Topology/Algebra/UniformGroup/Basic.lean

chore: split Mathlib.Topology.Algebra.UniformGroup (#18311) …

Modified UniformGroup.mk'View on Github →

2023-02-27 13:07

Mathlib/Topology/Algebra/UniformGroup.lean

feat: port Topology.Algebra.UniformGroup (#2480)

Added UniformGroup.mk'View on Github →