Theorem Polynomial.Monic.free_adjoinRoot

Modification history