Def compactlySupported

Modification history

2026-02-24 10:38

Mathlib/Topology/ContinuousMap/BoundedCompactlySupported.lean

chore: bump toolchain to v4.29.0-rc2 (#35708)

Deleted compactlySupported View on Github →

2024-09-10 10:43

Mathlib/Topology/ContinuousFunction/BoundedCompactlySupported.lean

feat(Topology/ContinuousFunction/Bounded): add the ideal of compactly supported functions (#12629) …

Added compactlySupported View on Github →