public LemmaDecl(string name, Term statement, Proof proof) :
     this(name, ContextElem.CreateEmptyContext(), statement, proof)
 {
 }
 public static DefDecl CreateWithoutArg(string name, TypeIsa type, Term rhs)
 {
     return(new DefDecl(name, type, new Tuple <IList <Term>, Term>(new List <Term>(), rhs)));
 }
 public LemmaDecl(string name, ContextElem contextElem, Term statement, Proof proof) :
     this(name, contextElem, new List <Term> {
     statement
 }, proof)
 {
 }