Theorem UniformGroup.uniformContinuous_iff_isOpen_ker

Modification history

2025-03-31 11:38

Mathlib/Topology/Algebra/IsUniformGroup/Defs.lean

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

Deleted UniformGroup.uniformContinuous_iff_isOpen_ker View on Github →

2024-11-19 11:04

Mathlib/Topology/Algebra/UniformGroup/Defs.lean

chore: some renames `iff_open` -> `iff_isOpen` (#19209) …

Added UniformGroup.uniformContinuous_iff_isOpen_ker View on Github →