∀ («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)