mathlib

8e92af1d - feat(algebra/associated): add lemmas to split #9345 (#10941)

feat(algebra/associated): add lemmas to split #9345 (#10941) This PR contains lemmas from PR [#9345](https://github.com/leanprover-community/mathlib/pull/9345), which was starting to get quite lengthy. Co-authored-by: Anne Baanen.