Theorem lcm_units_coe_right

Modification history