Mathlib Changelog
v4
Changelog
About
Github
Theorem
UniformGroup.cauchy_map_iff_tendsto_swapped
Modification history
2025-03-31 11:38
Mathlib/Topology/Algebra/IsUniformGroup/Basic.lean
chore: rename UniformGroup -> IsUniformGroup and UniformAddGroup -> IsUniformAddGroup (#23345) …
Deleted
UniformGroup.cauchy_map_iff_tendsto_swapped
View on Github →
2025-02-16 16:41
Mathlib/Topology/Algebra/UniformGroup/Basic.lean
feat: instance NormedField.instCompletableTopField (#20686) …
Added
UniformGroup.cauchy_map_iff_tendsto_swapped
View on Github →