Theorem Ideal.prod_mono_left

Modification history