Theorem Multiset.prod_map_prod

Modification history

2026-01-29 07:34
Mathlib/Algebra/BigOperators/Group/Finset/Basic.lean
feat: add API lemmas for Multiset.prod_map and finprod (#34533) …
Added Multiset.prod_map_prodView on Github →