Skip to content

Fix is_power for e.g. ZZPolyRing#2241

Merged
fingolfin merged 1 commit intomasterfrom
mh/fix-is_power
Dec 12, 2025
Merged

Fix `is_power` for e.g. `ZZPolyRing`#2241
fingolfin merged 1 commit intomasterfrom
mh/fix-is_power

Commits

Commits on Dec 10, 2025