Commit 2026-10-17 18:35 a7545fd4
View on Github →feat: add QuotientGroup.instHasUniqueRoots (#44838)
Replace a IsMulTorsionFree instance by a HasUniqueRoots instance, that is stronger.
feat: add QuotientGroup.instHasUniqueRoots (#44838)
Replace a IsMulTorsionFree instance by a HasUniqueRoots instance, that is stronger.