Theorem Ideal.lcm_eq_inf

Modification history