Unicity of types and local Jacquet–Langlands correspondence - Yuki Yamamoto (2022)