Commit 2023-11-29 07:29 63c5a7ec
View on Github →feat(GroupTheory/SpecificGroups/Cyclic): Add non-cyclic -> nontrivial (#8693) A non-cyclic group is also non-trivial, whether it is multiplicative or additive.
feat(GroupTheory/SpecificGroups/Cyclic): Add non-cyclic -> nontrivial (#8693) A non-cyclic group is also non-trivial, whether it is multiplicative or additive.