Theorem Polynomial.comp_eq_sum_left

Modification history