Def FirstOrder.Language.Substructure.IsElementary

Modification history