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