Loading paper
Gabber rigidity in hermitian K-theory | Tomesphere