Theorem IsCompactOperator.isCompact_closure_image_of_vonN_bounded

Modification history