Mathlib Changelog
v4
Changelog
About
Github
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.zeroOfFactMem
View on Github →