Theorem IsCompact.exists_isCompact_cthickening

Modification history