Theorem IsCompact.exists_sInf_image_eq

Modification history