Theorem IsCompactOperator.image_subset_compact_of_vonN_bounded

Modification history