Theorem fwdDiff_smul

Modification history

2026-03-30 17:05

Mathlib/Algebra/Group/ForwardDiff.lean

chore: change some `{R : Type}` to `{R : Type*}` (#37368)

Modified fwdDiff_smul View on Github →

2024-11-13 20:45

Mathlib/Algebra/Group/ForwardDiff.lean

feat(Algebra/Group): forward difference operator (#17699) …

Added fwdDiff_smul View on Github →