mathlib
c4c71d2f - feat(topology): define class `[noncompact_space]` (#9839)

Commit

4 years ago

feat(topology): define class `[noncompact_space]` (#9839)

Author

urkud

urkud

Parents

Loading