Theorem isCompactOperator_iff_exists_mem_nhds_isCompact_closure_image

Modification history