mathlib3
2b9aca75 - feat(topology): a few more results about compact sets (#11905)

Commit

4 years ago

feat(topology): a few more results about compact sets (#11905) * Also a few lemmas about sets and `mul_support`.

Author

fpvandoorn

Parents