Theorem DualNumber.inr_eq_smul_eps

Modification history

2023-03-19 06:49
Mathlib/Algebra/DualNumber.lean
feat: port Algebra.DualNumber (#2987)
Added DualNumber.inr_eq_smul_epsView on Github →