Comment Comment by harveywi Maybe a dumb question: Shouldn't these be called immersions instead of embeddings? parent harveywi 2 years ago
