Theorem Ideal.le_comap_of_ramificationIdx_ne_zero

Modification history