Theorem cfc_sum_univ

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_sum_univView on Github →