Commit 2023-12-15 21:44 f48b1026

View on Github →

feat: subgroups of Z/nZ-modules are submodules (#9045) Together with #9017 and #8965 we can convert group theory problems to linear algebra problems as in the homomorphism form of PFR.

Estimated changes