open_subgroup) Finish TODO
#1202

Merged

refactor(topology/algebra/open_subgroup) Finish TODO #1202

mergify merged 9 commits into leanprover-community:master from refactor

Create .DS_Store

5612886d

Revert "Create .DS_Store"

e0209f74

Merge branch 'master' of https://github.com/leanprover-community/mathlib

6e5694b3

erge branch 'master' of https://github.com/leanprover-community/mathlib

ab19e053

Merge branch 'master' of https://github.com/leanprover-community/mathlib

443ea2b3

Finish TODO

7ffe0a56

aceg00 requested a review 6 years ago

Merge branch 'master' into refactor

53a69cfd

jcommelin commented on 2019-07-10

Update src/topology/algebra/open_subgroup.lean

5087667d

jcommelin approved these changes on 2019-07-10

jcommelin added ready-to-merge

Merge branch 'master' into refactor

62795ba4

mergify merged fb1848bb into master 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone