Theorem normalize_lcm

Modification history