Loading paper
Spectral Theorem for definitizable normal linear operators on Krein spaces | Tomesphere