Uniformization of projective klt varieties by bounded symmetric domains | Synapse