Theorem exists_isCompact_superset_iff

Modification history