∀ {«meta» : Lean.Firefox.ProfileMeta} {libs : Array Lean.Json} {threads : Array Lean.Firefox.Thread}
  {meta_1 : Lean.Firefox.ProfileMeta} {libs_1 : Array Lean.Json} {threads_1 : Array Lean.Firefox.Thread},
  { «meta» := «meta», libs := libs, threads := threads } = { «meta» := meta_1, libs := libs_1, threads := threads_1 } →
    «meta» = meta_1 ∧ libs = libs_1 ∧ threads = threads_1