Theorem FirstOrder.Language.Substructure.subtype_apply

Modification history