Theorem Ideal.range_mul

Modification history