A general Fredholm theory I: a splicing-based differential geometry Helmut Hofer; Kris Wysocki; Eduard Zehnder — 2007 Journal of the European Mathematical Society