Theorem normalizeScaleRoots_eval₂_leadingCoeff_mul

Modification history