Theorem IsCompact.preimage_continuous

Modification history