Mathlib v3 is deprecated. Go to Mathlib v4

Def list.map₂_left'

Modification history

2020-10-12 23:17
src/data/list/defs.lean
feat(data/list/*): add left- and right-biased versions of map₂ and zip (#4512) …
Added list.map₂_left'View on Github →