Finite-rank operator (source code)

= Finite-rank operator
{wiki}

A finite-rank operator has finite-dimensional image and is compact.