test derived CartesianLambdaElimination in CartesianLambdaIntroduction.g

Author: mohamed-barakat

doc/Doc.autodoc

@@ -46,7 +46,7 @@
 @Subsection Pushout
 @InsertChunk Pushout
 
-@Subsection Cartesian lambda introduction
+@Subsection Cartesian Lambda Introduction
 @InsertChunk CartesianLambdaIntroduction
 
 @Subsection Lift

examples/CartesianLambdaIntroduction.g

@@ -23,4 +23,8 @@ Length( Range( lf ) );
 #! 8
 lf( T[1] ) = f;
 #! true
+elf := CartesianLambdaElimination( S, R, lf );
+#! <A morphism in FinSets>
+elf = f;
+#! true
 #! @EndExample