Commit 2023-11-29 13:20 f9615620

View on Github →

feat: Multiset.sum_lt_sum et al (#8707) Lean discussion: https://leanprover.zulipchat.com/#narrow/stream/217875-Is-there-code-for-X.3F/topic/Multiset.2Esum_lt_sum

Estimated changes

added theorem Multiset.prod_lt_prod'
modified theorem Finset.prod_lt_prod'