Theorem fwdDiff_aux.shiftₗ_apply

Modification history

2025-04-28 09:04

Mathlib/Algebra/Group/ForwardDiff.lean

chore: move `Module.End`-related decls to the `Module.End` namespace (#23705) …

Modified fwdDiff_aux.shiftₗ_apply View on Github →

2024-11-13 20:45

Mathlib/Algebra/Group/ForwardDiff.lean

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

Added fwdDiff_aux.shiftₗ_apply View on Github →