Kähler–Einstein metrics with positive curvature near an isolated log terminal singularity | Synapse