K-semistability of log Fano cone singularities | Synapse