Theorem gcd_eq_normalize

Modification history