Theorem IsCompact.sSup_mem

Modification history