Theorem Finset.gcd_mono

Modification history