Hilbert-Schmidt operator

1. REDIRECT Hilbert–Schmidt operator

{{R from modification}}