Commit 2021-03-30 17:12 0c0fb53c
View on Github →feat(group_theory/perm/cycles): Order of is_cycle (#6873) The order of a cycle equals the cardinality of its support.
feat(group_theory/perm/cycles): Order of is_cycle (#6873) The order of a cycle equals the cardinality of its support.