Commit 2023-11-15 15:04 7ad0a36b
View on Github →feat: Minimum torsion of a group (#8411)
This PR define Monoid.minOrder α, the minimum order of an element of the monoid α. This is also the minimum size of a nontrivial subgroup.
feat: Minimum torsion of a group (#8411)
This PR define Monoid.minOrder α, the minimum order of an element of the monoid α. This is also the minimum size of a nontrivial subgroup.