Commit 2025-08-26 00:29 2a1d0836
View on Github →feat: add lemmas about List.scanr
(#26838)
I add basic lemmas to reason about List.scanr, and slightly clean-up the file and add some basic lemmas to keep the API unified with the one for List.scanl.
Original PR: https://github.com/leanprover-community/mathlib4/pull/25188