path: root/doc/changelog/10-standard-library/12031-ollibs-cpermutation.rst

- **Added:**
  Definition and properties of cyclic permutations / circular shifts: ``CPermutation``
  (`#12031 <https://github.com/coq/coq/pull/12031>`_,
  by Olivier Laurent).