Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-02-22 22:49
b60b7904
View on Github →
feat(topology/algebra/group): add continuity lemmas (
#11975
)
Estimated changes
Modified
src/topology/algebra/uniform_group.lean
added
theorem
uniform_group.uniform_continuous_iff_open_ker