Theorem isSigmaCompact_univ

Modification history