Theorem deriv_const_div_id

Modification history

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