mathlib3
fix(topology/uniform_space): sanity_check pass
#1364
Merged

fix(topology/uniform_space): sanity_check pass #1364

mergify merged 2 commits into master from sanity-uniform-space
PatrickMassot
fix(topology/uniform_space): sanity_check pass
b3a110e0
PatrickMassot PatrickMassot requested a review from sgouezel sgouezel 6 years ago
PatrickMassot PatrickMassot requested a review 6 years ago
sgouezel sgouezel added ready-to-merge
sgouezel
sgouezel approved these changes on 2019-08-28
mergify[bot] Merge branch 'master' into sanity-uniform-space
f1c5d93e
mergify mergify merged 721d67a7 into master 6 years ago
mergify mergify deleted the sanity-uniform-space branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone