]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/lambda/arity_eval.ma
degree.ma: we defined the "degree" of a term, which is meaningful in
[helm.git] / matita / matita / lib / lambda / arity_eval.ma
2011-03-15 Ferruccio Guidi- more notation and service lemmas