Theorem isCompact_iff_isCompact_in_subtype

Modification history