∀ (K : Type u_1) [inst : Field K] [inst_1 : NumberField K]
  (x x_1 : ↑(NumberField.mixedEmbedding.fundamentalCone.integerSet K)),
  x ≈ x_1 →
    NumberField.mixedEmbedding.fundamentalCone.integerSetToAssociates K x =
      NumberField.mixedEmbedding.fundamentalCone.integerSetToAssociates K x_1