Theorem IsCompactOperator.restrict

Modification history