Theorem rightInverse_pthRoot_frobenius

Modification history