Theorem ClosedEmbedding.isClosedMap

Modification history