mathlib3
feat(topology/local_homeomorph): local homeomorphisms
#1398

Merged

feat(topology/local_homeomorph): local homeomorphisms #1398

mergify merged 3 commits into leanprover-community:master from sgouezel:local_homeomorph

feat(topology/local_homeomorph): local homeomorphisms

0cbbdb98

sgouezel requested a review 6 years ago

fpvandoorn commented on 2019-09-05

kim-em commented on 2019-09-05

local_homeomorph: reviewer comments

3c16eba1

fpvandoorn approved these changes on 2019-09-08

fpvandoorn added ready-to-merge

Merge branch 'master' into local_homeomorph

d23d68a3

mergify merged 8bdb1474 into master 6 years ago

sgouezel deleted the local_homeomorph branch 6 years ago

Reviewers

fpvandoorn

kim-em

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone