Theorem Polynomial.monic_of_monic_mapAlg

Modification history