For my taste, I'd "recall" the precise statement exactly when you need it, in the internals of your proof, as you seem to indicate. I myself have become ever fonder of a math writing style which does not require so much flipping back-and-forth to understand what's being said. (Especially the otherwise-precise quasi-Bourbaki of referring to things by some (necessarily artificial and meaningless) numbering scheme, rather than any sort of descriptive reference.)
In particular, for simply the statement (rather than proof) of a result, adding an appendix would make things harder to read for many people, and the people who already know the result would not gain much. Skipping over known things is easier than flipping back-and-forth.
That is, allowing your readers to read straight through seems to me the ideal. So, no, similarly, don't introduce all the notation at the beginning and then expect people to remember it. Sure, you could have an appendix for reference for notation, but it really should be explained when first used, ... in my opinion. That kind of thing.