baire): Baire theorem
#816

Merged

feat(topology/metric_space/baire): Baire theorem #816

johoelzl merged 1 commit into leanprover-community:master from sgouezel:baire

Baire theorem

37e98843

johoelzl commented on 2019-03-14

johoelzl merged c5afc52a into master 6 years ago

sgouezel deleted the baire branch 6 years ago

Reviewers

johoelzl

Assignees

No one assigned

Labels

None yet

Milestone

No milestone