Theorem Nat.lcm_mul_left

Modification history