Theorem IsCompactOperator.codRestrict

Modification history