Theorem ClosedEmbedding.isCompact_preimage

Modification history