Theorem associated_gcd_left_iff

Modification history