Theorem ContinuousMap.elemental_id_eq_top

Modification history

2025-09-22 18:40
Mathlib/Topology/ContinuousMap/StoneWeierstrass.lean
feat: range of the continuous functional calculus (#29561) …
Added ContinuousMap.elemental_id_eq_topView on Github →