Theorem IsCompact.exists_infₛ_image_eq

Modification history