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.

Estimated changes