Theorem IsCompactOperator.restrict'

Modification history