GCD and LCM operations on multisets #
THIS FILE IS SYNCHRONIZED WITH MATHLIB4.
Any changes to this file require a corresponding PR to mathlib4.
Main definitions #
Implementation notes #
TODO: simplify with a tactic and
Least common multiple of a multiset
Greatest common divisor of a multiset