mathlib3
8413f078 - feat(topology/support): define topological support and compactly supported functions (#11923)

Commit

4 years ago

feat(topology/support): define topological support and compactly supported functions (#11923) * Also add some variants of the extreme value theorem.

Author

fpvandoorn

Parents