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)

Estimated changes