Theorem Multiset.cons_le_cons_iff
Modification history
2025-08-16 00:47
Mathlib/Data/Multiset/ZeroCons.lean
feat: add `@[simp]` to `Multiset.cons_le_cons` and `Finset.insert_subset_insert` (#28285) …
Modified Multiset.cons_le_cons_iffView on Github →