∀ (imports importedBy imports_1 importedBy_1 : Lean.Server.Watchdog.ImportMap),
  ({ imports := imports, importedBy := importedBy } = { imports := imports_1, importedBy := importedBy_1 }) =
    (imports = imports_1 ∧ importedBy = importedBy_1)