Commit 2026-02-18 17:27 2d2989ab

View on Github →

style(RingTheory/PowerSeries/Derivative): prove derivative_pow from Derivation.leibniz_pow (#35067)

Estimated changes

modified theorem PowerSeries.derivative_pow