Loading paper
Unicity of types and local Jacquet--Langlands correspondence | Tomesphere