(* This file was automatically generated: do not edit *********************)
-include "C/defs.ma".
+include "LambdaDelta-1/C/defs.ma".
-include "T/props.ma".
+include "LambdaDelta-1/T/props.ma".
theorem clt_cong:
\forall (c: C).(\forall (d: C).((clt c d) \to (\forall (k: K).(\forall (t: