Theorem FirstOrder.Language.Substructure.CG.sup

Modification history