Theorem Ideal.le_comap_pow_ramificationIdx

Modification history