Theorem isCompactOperator_iff_image_ball_subset_compact

Modification history