Commit 2024-01-06 14:22 66b9ecc9

View on Github →

feat: Finite sum under an injective map (#9226) From PFR

Estimated changes

added theorem Finset.prod_of_injOn