Theorem CompactExhaustion.isClosed

Modification history