mathlib

607767e2 - feat(algebra/big_operators): reversing an interval doesn't change the product (#2740)