Proposal: merge gcd and lcm We tend to combine homologus objects into one tag, like supremum-and-infimum, limsup-and-liminf and even-and-odd-functions. It's well known that $ab = \gcd(a,b) \times \mathrm{lcm}(a,b)$, so knowing the gcd implies the same for lcm, and vice versa. The majority of l...