mathlib3
0fa0d61e - feat(topology/paracompact): define paracompact spaces (#6395)

Commit

4 years ago

feat(topology/paracompact): define paracompact spaces (#6395) Fixes #6391

Author

urkud

urkud

Parents

Loading