Theorem FirstOrder.Language.Substructure.subtype_injective

Modification history