Theorem IsCompact.exists_cthickening_subset_open

Modification history