Commit 2026-04-08 13:59 96261f65

feat(ContinuousFunctionalCalculus): add integral representation for x ↦ x ^ p for p ∈ (1, 2) (#37612) This PR adds an integral representation for the function x ↦ x ^ p for p ∈ (1, 2). We already have an analogous representation for p ∈ (0, 1). This will later be used to show that this function is operator convex in that range.