Theorem Perfection.frobenius_pthRoot

Modification history