Index theory in nonlinear analysis. ([2019])