Commit 2025-04-17 22:12 35533054

View on Github →

feat(BigOperators/Ring): add Finset.prod_neg (#24146)

Estimated changes

added theorem Finset.prod_neg