[Reduce-algebra-developers] On simplification


Thread view