Text this: On the coderivative of the projection operator onto the second-order cone

  ______    _____     _  __     ___      _  __  
 /_   _//  |  ___||  | |/ //   / _ \\   | |/ // 
   | ||    | ||__    | ' //   | / \ ||  | ' //  
  _| ||    | ||__    | . \\   | \_/ ||  | . \\  
 /__//     |_____||  |_|\_\\   \___//   |_|\_\\ 
 `--`      `-----`   `-` --`   `---`    `-` --`