Orthogonal projection of an infinite round cone in real Hilbert space
Orthogonal projection of an infinite round cone in real Hilbert space