Theorem isUniformGroup_inf

Modification history

2025-10-06 12:00

Mathlib/Topology/Algebra/IsUniformGroup/Constructions.lean

chore: new file for constructions of uniform groups (#30026) …

Modified isUniformGroup_inf View on Github →

2025-03-31 11:38

Mathlib/Topology/Algebra/IsUniformGroup/Defs.lean

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

Added isUniformGroup_inf View on Github →