Theorem Polynomial.degreeLTEquiv_eq_zero_iff_eq_zero

Modification history