Theorem Ideal.mul_mem_left

Modification history