∀ {common x y common_1 x_1 y_1 : Lean.Elab.Tactic.BVDecide.Frontend.Normalize.CoefficientsMap},
  { common := common, x := x, y := y } = { common := common_1, x := x_1, y := y_1 } →
    common = common_1 ∧ x = x_1 ∧ y = y_1