Theorem Polynomial.isUnit_leadingCoeff_mul_right_eq_zero_iff

Modification history