Theorem exists_embedding_euclidean_of_compact

Modification history