Mathlib v3 is deprecated. Go to Mathlib v4

Def list.zip_with5

Modification history

2021-05-26 08:25
src/data/list/defs.lean
feat(tactic/simps): implement prefix names (#7596) …
Added list.zip_with5View on Github →