(* This file was automatically generated: do not edit *********************)
-set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/subst0".
+include "LambdaDelta-1/arity/props.ma".
-include "arity/props.ma".
+include "LambdaDelta-1/fsubst0/fwd.ma".
-include "fsubst0/fwd.ma".
+include "LambdaDelta-1/csubst0/getl.ma".
-include "csubst0/getl.ma".
+include "LambdaDelta-1/csubst0/props.ma".
-include "csubst0/props.ma".
+include "LambdaDelta-1/subst0/dec.ma".
-include "subst0/dec.ma".
+include "LambdaDelta-1/subst0/fwd.ma".
-include "subst0/fwd.ma".
-
-include "getl/getl.ma".
+include "LambdaDelta-1/getl/getl.ma".
theorem arity_gen_cvoid_subst0:
\forall (g: G).(\forall (c: C).(\forall (t: T).(\forall (a: A).((arity g c t