Theorem Finset.left_mul_prod_Ioi

Modification history

2024-10-04 04:46
Mathlib/Algebra/Order/BigOperators/Group/LocallyFinite.lean
feat: Big operators indexed by an interval (#17280) …
Added Finset.left_mul_prod_IoiView on Github →