Theorem Finset.gcd_insert

Modification history