Theorem Multiset.le_smul_dedup

Modification history

2025-02-14 22:50
Mathlib/Algebra/Order/Group/Multiset.lean
chore(Data/Finset): don't import algebra in `Finset.Lattice.Fold` (#21883) …
Modified Multiset.le_smul_dedupView on Github →
2023-01-13 17:57
Mathlib/Data/Multiset/Fold.lean
feat: port Data.Multiset.Fold (#1548)
Added Multiset.le_smul_dedupView on Github →