On the points realizing the distance to a definable set

From MaRDI portal
Publication:633664