[Merged by Bors] - doc: add docstrings for reversed range telescoping lemmas#39605

Qinghev wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

Qinghev:qinghev/doc-sum-range-sub-primeQinghev/mathlib4:qinghev/doc-sum-range-sub-primeCopy head branch name to clipboard