Theorem Perfection.coeff_pthRoot

Modification history