Commit 2024-09-19 14:09 c7d8aad6

View on Github →

feat: Multiset lemmas (#15645)

Estimated changes

Modified Mathlib/Data/Multiset/Basic.lean

added theorem Multiset.inter_add_sub_of_add_eq_add

added theorem Multiset.mem_sub

added theorem Multiset.sub_singleton