Closed quickdudley closed 2 years ago
The following transformations are now possible: x + x -> 2_x x + 2 * x -> 3_x 2 * x + x -> 3_x 2 * x + 2 * x -> 4_x
The following transformations are now possible: x + x -> 2_x x + 2 * x -> 3_x 2 * x + x -> 3_x 2 * x + 2 * x -> 4_x