Theorem Inducing.isCompact_iff

Modification history