https://123deta.com/document/zwv4rmp1-degree-theory-compact-perturbations-proper-fredholm-mappings-index.html