Theorem IsCompactOperator.image_subset_compact_of_bounded

Modification history