Theorem Inducing.isSigmaCompact_iff

Modification history