Theorem Int.div_dvd_iff_dvd_mul

Modification history