The Fredholm theory of integral equations