Commit 2024-08-29 21:20 b03feaaa
View on Github →feat(ContinuousFunctionalCalculus): show that the non-unital CFC commutes with integration (#16255)
This PR shows that cfcₙ (fun r => ∫ x, f x r ∂μ) a = ∫ x, cfcₙ(f x) a ∂μ under appropriate conditions.
Note that #16013 (already merged) showed the corresponding result for the unital CFC.