Theorem lcm_eq_right_iff

Modification history