Basic results about setwise gcds on ℕ #
This file proves some basic results about finset.gcd
on ℕ
.
Main results #
finset.coprime_of_div_gcd
: The elements of a set divided through by their gcd are coprime.
algebra.gcd_monoid.nat
This file proves some basic results about finset.gcd
on ℕ
.
finset.coprime_of_div_gcd
: The elements of a set divided through by their gcd are coprime.