Theorem Polynomial.isMonicOfDegree_iff_of_subsingleton

Modification history