Theorem Function.Embedding.subtype_injective

Modification history