Def FirstOrder.Language.Term.restrictVar

Modification history