Theorem PadicInt.pow_p_dvd_int_iff

Modification history