Commit 2025-11-28 10:54 3438e5ba

feat(Analysis): generalize Real.deriv_rpow_const and prove iteration version (#32196) We prove that for calculating the derivative of Real.rpow it is not necessary to check any conditions, since the junk values align. This makes it easy to calculate the iterated derivative.