Theorem Ideal.le_pow_ramificationIdx

Modification history