Theorem Ideal.pow_mono

Modification history