0
I propose a tag gcd-and-lcm to be created into which gcd, lcm, greatest-
common-divisor etc. are mapped.
On the one hand, the notion of GCD (and related) is relevant and wide-spread enough to merit a tag beyond the very general divisibility. On the other hand, the notions GCD and LCM are very ...
Despite the fact that the gcd tag has already been discussed here and here, it seems that the discussion about this probably deserves a separate thread.
At the moment there is gcd, which was made synonym of divisibility. (As a result of this discussion.)
Later two new tags least-common-multiple...
