Theorem frobenius_pthRoot

Modification history