Commit 2025-08-14 10:27 c02d4fe6

View on Github →

chore(Algebra/Field/Subfield): golf entire zpow_mem (#28382)

Estimated changes

deleted theorem Subfield.zpow_mem