Theorem gcd_one_right'

Modification history