Theorem Multiset.prod_map_product_eq_prod_prod

Modification history

2025-11-20 10:49
Mathlib/Data/Multiset/Bind.lean
feat(RingTheory): results on resultant (#30983) …
Added Multiset.prod_map_product_eq_prod_prodView on Github →