Theorem Perfection.coeff_pow_p'

Modification history