Theorem cfc_apply_pi

Modification history

2024-06-23 01:13
Mathlib/Topology/ContinuousFunction/FunctionalCalculus.lean
feat(ContinuousFunctionalCalculus): add lemmas about the CFC applied to finite sums (#13842)
Added cfc_apply_piView on Github →