Why is the closed $\operatorname{im} T$ in the definition of Fredholm Operator redundant?
Is the closedness of the image of a Fredholm operator implied by the finiteness of the codimension of its image?