Theorem IsCompactOperator.image_ball_subset_compact

Modification history