util/__init__.py
author Surkov Sergey <surkovsv93@gmail.com>
Thu, 18 May 2017 18:00:56 +0300
changeset 1683 57b4ac796dcb
parent 742 41a4a560406c
permissions -rw-r--r--
fix reducing groups with ordered elements