Theorem List.getElem?_scanr_of_lt

Modification history

2025-08-26 00:29
Mathlib/Data/List/Scan.lean
feat: add lemmas about `List.scanr` (#26838) …
Added List.getElem?_scanr_of_ltView on Github →