Theorem IsCompact.exists_thickening_image_subset

Modification history