Commit 2024-11-13 05:51 a5901447

View on Github →

chore: redefine zpowers (#18816) I'm going to split this file so that basic theory doesn't depend on rings etc

Estimated changes

modified def Subgroup.zpowers