mathlib3
second countability criteria in metric spaces
#650
Merged
Overview
Commits
1
Changes
View On GitHub

second countability criteria in metric spaces #650

johoelzl merged 1 commit into leanprover-community:master from sgouezel:metric_second_countable
sgouezel
sgouezel second countability criteria in metric spaces
dbb026cf
johoelzl johoelzl merged ef35c6c3 into master 7 years ago
sgouezel sgouezel deleted the metric_second_countable branch 7 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum