Theorem Ideal.pow_right_mono

Modification history