Theorem Finset.Polynomial.gcd_div_id_eq_one

Modification history