Theorem isCompactOperator_iff_image_closedBall_subset_compact

Modification history