Theorem FirstOrder.Language.ElementarySubstructure.subtype_apply

Modification history