Theorem finprod_le_finprod

Modification history

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