Theorem gcd_pow_right_dvd_pow_gcd

Modification history