images/minimize_graph.png
author Surkov Sergey <surkovsv93@gmail.com>
Thu, 18 May 2017 18:00:56 +0300
changeset 1683 57b4ac796dcb
parent 929 c562031146e4
permissions -rw-r--r--
fix reducing groups with ordered elements
(binary:image/png)