Theorem IsCompactOperator.continuous

Modification history