mathlib3
fix(topology/uniform_space): simplify continuity proof
#1396

Merged

fix(topology/uniform_space): simplify continuity proof #1396

mergify merged 2 commits into master from uniform_cont

fix(topology/uniform_space): simplify continuity proof

5604365a

PatrickMassot requested a review 6 years ago

sgouezel added ready-to-merge

sgouezel approved these changes on 2019-09-04

Merge branch 'master' into uniform_cont

45f59a39

mergify merged 65ffb7b1 into master 6 years ago

mergify deleted the uniform_cont branch 6 years ago

Reviewers

sgouezel

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone