Def ContinuousMapZero.coeFnAddMonoidHom

Modification history

2024-06-23 01:13

Mathlib/Topology/ContinuousFunction/ContinuousMapZero.lean

feat(ContinuousFunctionalCalculus): add lemmas about the CFC applied to finite sums (#13842)

Added ContinuousMapZero.coeFnAddMonoidHom View on Github →