Theorem deriv_const_rpow_id

Modification history

2026-05-19 17:03
Mathlib/Analysis/SpecialFunctions/Pow/Deriv.lean
feat(Analysis/Calculus/Deriv): add deriv_const_op (#39082) …
Added deriv_const_rpow_idView on Github →