Theorem Ideal.jacobson_mul_mem_right

Modification history