∀ {toExtractLetsConfig toExtractLetsConfig_1 : Lean.Meta.ExtractLetsConfig},
  { toExtractLetsConfig := toExtractLetsConfig } = { toExtractLetsConfig := toExtractLetsConfig_1 } →
    toExtractLetsConfig = toExtractLetsConfig_1