Theorem deriv_const_sub_id'

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_id'View on Github →