mathlib3
7ed091df - feat(group_theory/perm/concrete_cycle): computable cyclic perm notation (#9470)

Commit

4 years ago

feat(group_theory/perm/concrete_cycle): computable cyclic perm notation (#9470)

Author

pechersky

pechersky

Parents

Loading