Theorem pthRoot_frobenius

Modification history