Mathlib v3 is deprecated. Go to Mathlib v4

Theorem vector.zip_with_to_list

Modification history

2021-09-20 20:43

src/data/vector/zip.lean

feat(data/vector/basic): lemmas, and linting (#9260)

Added vector.zip_with_to_list View on Github →