Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.map₂_right_cons_cons

Modification history

2020-10-12 23:17

src/data/list/basic.lean

feat(data/list/*): add left- and right-biased versions of map₂ and zip (#4512) …

Added list.map₂_right_cons_cons View on Github →