compact operator

type of continuous linear operator

Categories: