concrete_cycle): perm.to_list (#9178)

Commit

4 years ago

feat(group_theory/perm/concrete_cycle): perm.to_list (#9178) The conceptual inverse to `list.form_perm`.

Author

pechersky

Parents