Theorem IsCompact.preimage_smul

Modification history