Theorem IsCompact.exists_thickening_subset_open

Modification history