Commit 2025-05-28 16:23 82206e22
View on Github →feat: CFC.sqrt a = cfcₙ Real.sqrt a (#24859)
Since CFC.sqrt is defined in terms of the ℝ≥0 continuous functional calculus, this is slightly non-obvious, but follows from the uniqueness of the square root.