zip): `nth_zip_with` univ polymorphic, `zip_with_eq_nil_iff` (#6974)

Commit

4 years ago

feat(data/list/zip): `nth_zip_with` univ polymorphic, `zip_with_eq_nil_iff` (#6974) Co-authored-by: Yakov Pechersky <pechersky@users.noreply.github.com>

Author

pechersky

Parents

23dbb4cf

mathlib cc991528 - feat(data/list/zip): `nth_zip_with` univ polymorphic, `zip_with_eq_nil_iff` (#6974)

mathlib
cc991528 - feat(data/list/zip): `nth_zip_with` univ polymorphic, `zip_with_eq_nil_iff` (#6974)