Theorem ContinuousMapZero.continuous_precomp

Modification history

2026-02-23 18:16
Mathlib/Topology/ContinuousMap/ContinuousMapZero.lean
refactor: weaken `IsClosedEmbedding` requirement in `ContinuousFunctionalCalculus` (#35551) …
Added ContinuousMapZero.continuous_precompView on Github →