Theorem List.getD_eq_get
Modification history
2025-03-04 03:24
Mathlib/Data/List/GetD.lean
chore: remove >6 month old deprecations (#22473)
Deleted List.getD_eq_getView on Github →2024-08-12 02:13
Mathlib/Data/List/GetD.lean
chore(*): use `getElem` instead of `List.get`/`List.nthLe` (#15455) …
Modified List.getD_eq_getView on Github →