mathlib
69d71341 - feat(topology/basic): `f =ᶠ[𝓝 a] 0` iff `a ∉ closure (support f)` (#6665)

Commit

4 years ago

feat(topology/basic): `f =ᶠ[𝓝 a] 0` iff `a ∉ closure (support f)` (#6665) Also add `equiv.image_symm_image` and `function.compl_support`.

Author

urkud

Parents