∀ (name : Lean.Name) (score : Float) (flag : Option String) (name_1 : Lean.Name) (score_1 : Float)
  (flag_1 : Option String),
  ({ name := name, score := score, flag := flag } = { name := name_1, score := score_1, flag := flag_1 }) =
    (name = name_1 ∧ score = score_1 ∧ flag = flag_1)