Theorem deriv_const_sub'

Modification history

2026-05-19 17:03
Mathlib/Analysis/Calculus/Deriv/Add.lean
feat(Analysis/Calculus/Deriv): add deriv_const_op (#39082) …
Added deriv_const_sub'View on Github →