Zulip Chat Archive
Stream: maths
Topic: map_prod
Yury G. Kudryashov (Dec 27 2021 at 19:54):
@Anne Baanen I'm going to add generic {list,multiset,finset}.map_prod and replace existing *_{hom,equiv}.map*
Yury G. Kudryashov (Dec 27 2021 at 19:55):
As a dependency, I'm going to add *_hom_class instances for *_equivs.
Yury G. Kudryashov (Dec 27 2021 at 19:55):
Please tell me if you're already working on some of this.
Anne Baanen (Dec 27 2021 at 22:04):
Please go ahead! I'll be away until the new year.
Last updated: Dec 20 2023 at 11:08 UTC