Theorem Finsupp.sum_le_sum

Modification history

2024-10-08 17:07
Mathlib/Data/Finsupp/Order.lean
feat: order properties of `Finsupp.single` (#17461) …
Added Finsupp.sum_le_sumView on Github →