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.
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.