Theorem FirstOrder.Language.ElementarySubstructure.subtype_injective

Modification history