Theorem compactlySupported_eq_top_of_isCompact

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_top_of_isCompactView on Github →