Theorem Polynomial.isUnit_of_isUnit_leadingCoeff_of_isUnit_map

Modification history