Theorem List.get?_zip_with_eq_some

Modification history

2024-07-30 00:15

Mathlib/Data/List/Zip.lean

chore: replace zip_with -> zipWith in lemma names (#15218)

Deleted List.get?_zip_with_eq_some View on Github →

2024-06-08 10:13

Mathlib/Data/List/Zip.lean

chore(Data/List): cleanup redundant type arguments (#13605)

Modified List.get?_zip_with_eq_some View on Github →

2023-01-10 08:27

Mathlib/Data/List/Zip.lean

feat: port Data.List.Zip (#1416) …

Added List.get?_zip_with_eq_some View on Github →