Theorem Multiset.prod_map_toList

Modification history

2025-10-22 20:30
Mathlib/Algebra/BigOperators/Group/Multiset/Defs.lean
feat(Analysis/SpecialFunctions/Log): log_prod for Lists and Multisets (#30681) …
Added Multiset.prod_map_toListView on Github →