(* This file was automatically generated: do not edit *********************)
-set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlt/props".
-
-include "tlt/defs.ma".
+include "LambdaDelta-1/tlt/defs.ma".
theorem wadd_le:
\forall (f: ((nat \to nat))).(\forall (g: ((nat \to nat))).(((\forall (n: