Uniqueness of Einstein metrics conformal to extremal Kähler metrics—a computer assisted approach | Publicación