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)
{
}