https://123dok.net/document/yj797g3k-index-theory-for-skew-adjoint-fredholm-operators.html