Def Set.zeroOfFactMem

Modification history

2025-05-31 21:25
Mathlib/Topology/ContinuousMap/ContinuousMapZero.lean
feat: continuity of the continuous functional calculus in each variable (#24866)
Added Set.zeroOfFactMemView on Github →