Theorem deriv_const_smul_field

Modification history

2026-01-27 21:38

Mathlib/Analysis/Calculus/Deriv/Mul.lean

feat(Analysis/Calculus): generalize scalar multiplication actions (#34314) …

Added deriv_const_smul_field View on Github →