Def compactlySupported

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