Commit 2024-09-07 15:05 697358aa
View on Github →feat(ContinuousFunctionalCalculus): The restriction of a non-unital CFC is equal to the original one (#16287)
Using the non-unital CFC over ℂ for a function f : ℝ → ℝ is the same as using the non-unital CFC over ℝ for the same function, and likewise for ℝ vs ℝ≥0. We already had this for the unital CFC.