Theorem pthRoot_pow_p'

Modification history