disjoint_cycle_notation_is_unique.json
https://arbital.com/p/disjoint_cycle_notation_is_unique
by Patrick Stevens Jun 14 2016
Disjoint cycle notation provides a canonical way to express elements of the symmetric group.
[todo: state and prove the theorem]