Theorem Ideal.gcd_eq_sup

Modification history