Theorem IsCompactOperator.image_closedBall_subset_compact

Modification history