Theorem isCompactOperator_iff_isCompact_closure_image_closedBall

Modification history