general topology - Find the convex subdifferential $d_K$ of the distance function $d_K$ associated to a convex set $K$ at in-set points $x_0 K$. - Mathematics Stack Exchange

https://math.stackexchange.com/questions/3009263/find-the-convex-subdifferential-partial-d-k-of-the-distance-function-d-k-as