Theorem gcd_zero_left'

Modification history