Order on associates

This file shows that divisibility makes associates into a canonically ordered monoid.

instance Associates.instIsOrderedMonoid {M : Type u_1} [CancelCommMonoidWithZero M] : IsOrderedMonoid (Associates M)

instance Associates.instCanonicallyOrderedMul {M : Type u_1} [CancelCommMonoidWithZero M] : CanonicallyOrderedMul (Associates M)