Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-31 17:53 cc991528

View on Github →

feat(data/list/zip): nth_zip_with univ polymorphic, zip_with_eq_nil_iff (#6974)

Estimated changes