Theorem commute_frobenius_pthRoot

Modification history