Theorem Polynomial.coeff_zero_of_isScalarTower

Modification history