Theorem exists_compact_superset_iff

Modification history