Theorem ModP.mul_ne_zero_of_pow_p_ne_zero

Modification history