Theorem ContinuousMap.exists_extension_of_closedEmbedding

Modification history