Theorem List.get?_zip_with

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 View on Github →

2023-01-10 08:27

Mathlib/Data/List/Zip.lean

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

Added List.get?_zip_with View on Github →