Theorem Subtype.isSigmaCompact_iff

Modification history