Commit 2021-04-06 05:50 030a7047
View on Github →feat(group_theory/perm/sign): Order of product of disjoint permutations (#6998) The order of the product of disjoint permutations is the lcm of the orders.
feat(group_theory/perm/sign): Order of product of disjoint permutations (#6998) The order of the product of disjoint permutations is the lcm of the orders.