Left and right derivative

  1. REDIRECT Semi-differentiability {{R from merge}}