Theorem isCompact_compactCovering

Modification history