Theorem IsCompactOperator.isCompact_closure_image_ball

Modification history