Theorem gcd_mul_lcm

Modification history