mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard
verified publisher icon leanprover-community

feat(Algebra/Group/ForwardDiff.lean): Add theorem `sum_shift_eq_fwdDiff_iter`.

Open FlAmmmmING opened this issue 1 month ago • 7 comments

Open in Gitpod

FlAmmmmING avatar Oct 30 '25 14:10 FlAmmmmING