Theorem FirstOrder.Language.Substructure.inclusion_self

Modification history