Theorem EmbeddingLike.comp_injective

Modification history