Theorem eq_pthRoot_iff

Modification history