Commit 2024-12-29 20:43 3f703ecb
View on Github →feat: quotienting out a polynomial in a family doesn't change the span (#20297) From GrowthInGroups (LeanCamCombi)
feat: quotienting out a polynomial in a family doesn't change the span (#20297) From GrowthInGroups (LeanCamCombi)