∀ {s : Lean.ExprMap Mathlib.Explode.Entry} {l : List Mathlib.Explode.Entry} {s_1 : Lean.ExprMap Mathlib.Explode.Entry}
  {l_1 : List Mathlib.Explode.Entry}, { s := s, l := l } = { s := s_1, l := l_1 } → s = s_1 ∧ l = l_1