Theorem pthRoot_pow_p

Modification history