mathlib
0c0fb53c - feat(group_theory/perm/cycles): Order of is_cycle (#6873)

Commit
4 years ago
feat(group_theory/perm/cycles): Order of is_cycle (#6873) The order of a cycle equals the cardinality of its support.
Author
Parents
Loading