Theorem isCompactOperator_iff_exists_mem_nhds_image_subset_compact

Modification history