Theorem Polynomial.length_coeffList_eq_ite

Modification history