Theorem Ideal.le_of_dvd

Modification history