Theorem isCompact_iff_finite_subfamily_closed

Modification history