Theorem IsCompactOperator.continuous_comp

Modification history