Mathlib Changelog
v4
Changelog
About
Github
Theorem
Finset.left_mul_prod_Ioc
Modification history
2025-05-04 00:34
Mathlib/Algebra/Order/BigOperators/Group/LocallyFinite.lean
chore: Merge the two series of lemmas on big operators in locally finite orders (#17404) …
Deleted
Finset.left_mul_prod_Ioc
View on Github →
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_Ioc
View on Github →