Theorem Polynomial.reflect_C_mul

Modification history