Theorem Nat.prod_factors_gcd_mul_prod_factors_mul

Modification history