Commit 2024-12-09 11:53 dda658e6
View on Github →feat(List): count a (l₁.diff l₂) = count a l₁ - count a l₂ (#19778)
This will help not importing algebra when defining multisets
feat(List): count a (l₁.diff l₂) = count a l₁ - count a l₂ (#19778)
This will help not importing algebra when defining multisets