mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(topology/algebra/uniform_convergence): maps to a uniform group form a uniform group when equipped with the uniform structure of `𝔖`-convergence

Open ADedecker opened this issue 3 years ago • 1 comments

  • [ ] depends on: #14534

Open in Gitpod

ADedecker avatar Jun 12 '22 09:06 ADedecker

This PR/issue depends on:

  • ~~leanprover-community/mathlib#14534~~ By Dependent Issues (🤖). Happy coding!

mathlib-dependent-issues-bot avatar Aug 16 '22 06:08 mathlib-dependent-issues-bot

:v: ADedecker can now approve this pull request. To approve and merge a pull request, simply reply with bors r+. More detailed instructions are available here.

bors[bot] avatar Sep 14 '22 09:09 bors[bot]

bors r+

ADedecker avatar Sep 14 '22 11:09 ADedecker

Pull request successfully merged into master.

Build succeeded:

bors[bot] avatar Sep 14 '22 13:09 bors[bot]