Commit 2025-07-05 09:28 bc2bebdb

View on Github →

chore(Algebra/Small): move files to respective folders (#26780) Move Algebra.Small.Group to Algebra.Group.Shrink, Algebra.Small.Ring to Algebra.Ring.Shrink, Algebra.Small.Module to Algebra.Module.Shrink. The new names are better because being small is not a property that the algebra library is structured along, while talking about groups vs rings vs modules is. Split off #26732 for Eric's convenience.

Estimated changes