Theorem isClosed_setOf_isCompactOperator

Modification history