Theorem Int.gcd_div_gcd_div_gcd

Modification history