Theorem norm_lt_iff_of_nonempty_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 norm_lt_iff_of_nonempty_compactlySupportedView on Github →