https://123dok.net/document/z3d3kgee-basic-theory-of-fredholm-operators.html