mathlib3
fix(topology/uniform_space): sanity_check pass
#1364
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
2
Changes
View On
GitHub
fix(topology/uniform_space): sanity_check pass
#1364
mergify
merged 2 commits into
master
from
sanity-uniform-space
fix(topology/uniform_space): sanity_check pass
b3a110e0
PatrickMassot
requested a review
from
sgouezel
6 years ago
PatrickMassot
requested a review
6 years ago
sgouezel
added
ready-to-merge
sgouezel
approved these changes on 2019-08-28
Merge branch 'master' into sanity-uniform-space
f1c5d93e
mergify
merged
721d67a7
into master
6 years ago
mergify
deleted the sanity-uniform-space branch
6 years ago
Login to write a write a comment.
Login via GitHub
Reviewers
sgouezel
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub