Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-06 23:23 f668be05

View on Github →

feat(data/list/zip): parameterize zip_append more generally (#5650) zip_append should only require that each pair of lists is of the same type

Estimated changes