Commit 2026-10-17 11:31 cbfcfd84
View on Github →feat(FreeGroup): characterize commutative/cyclic free groups (#41988) Characterize cyclic/commutative free groups as being those on ≤ 1 generators. I generalize and move around some instances along the way to avoid new imports.