Extension of compact operators | lit.salon