Theorem isUnit_gcd_one_left

Modification history