Def FirstOrder.Language.Term.restrictVarLeft

Modification history