Leray and Schauder laid the foundations for the generalization of the Lefschetz index to infinite dimensions.
We pause to record a generalization of Theorem 2 in a different direction.
It is not immediately obvious what this generalization has to be.