Theorem associated_gcd_right_iff

Modification history