Theorem gcd_one_left'

Modification history