Compact linear map

Redirect to:

• Compact operator