∀ {pendingServerRequests : Lean.Server.Watchdog.PendingServerRequestMap} {freshServerRequestID : ℕ}
  {pendingServerRequests_1 : Lean.Server.Watchdog.PendingServerRequestMap} {freshServerRequestID_1 : ℕ},
  { pendingServerRequests := pendingServerRequests, freshServerRequestID := freshServerRequestID } =
      { pendingServerRequests := pendingServerRequests_1, freshServerRequestID := freshServerRequestID_1 } →
    pendingServerRequests = pendingServerRequests_1 ∧ freshServerRequestID = freshServerRequestID_1