zip): distributive lemmas (#7312)

Commit

4 years ago

feat(data/list/zip): distributive lemmas (#7312) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

pechersky

Parents