Commit 2026-08-15 23:59 a47a0148

View on Github →

feat(Algebra/Order/BigOperators): add Finset.prod_le_prod_of_injOn (#41598)

Estimated changes