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]