Theorem compactlySupported_eq_top

Modification history

2024-09-10 10:43
Mathlib/Topology/ContinuousFunction/BoundedCompactlySupported.lean
feat(Topology/ContinuousFunction/Bounded): add the ideal of compactly supported functions (#12629) …
Added compactlySupported_eq_topView on Github →