Theorem Polynomial.leadingCoeff_map_of_leadingCoeff_ne_zero

Modification history