Hilbert space Nearest point of a convex subset of a Hilbert space Let be a Hilbert space and let be a inhabited, closed, convex subset. Then for any there exists a unique such that #m/thm/anal/fun where Proof#missing/proof #state/develop | #lang/en | #SemBr