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.