Theorem IsCompact.elim_finite_subcover_image

Modification history