mathlib3
feat(topology/sequences): every first-countable space is sequential
#1528
Merged
Merged
feat(topology/sequences): every first-countable space is sequential #1528
mergify
merged
5 commits into
leanprover-community:master
from
gebner:sequential_of_first_countable
feat(topology/sequences): every first-countable space is sequential
6358cd6b
sgouezel
commented
on 2019-10-10
fixup style
3640522e
fixup comments
39028ebb
remove redundant type ascription
e68a918d
sgouezel
approved these changes
on 2019-10-10
robertylewis
commented
on 2019-10-10
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into sequential_of_first_countable
fa06424c
Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub