Theorem exist_norm_eq

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