Theorem Polynomial.Monic.eq_one_of_isUnit

Modification history