test6.ma

   1 set "baseuri" "cic:/matita/tests/interactive/test6/".
   2
   3 whelp instance
   4   \lambda A:Set.
   5   \lambda f:A \to A \to A.
   6   \forall x,y,z:A.
   7    f x (f y z) = f (f x y) z.