Skip to content

Commit c94c555

Browse files
coding style
1 parent a767533 commit c94c555

File tree

1 file changed

+13
-18
lines changed

1 file changed

+13
-18
lines changed

gap/SkeletalFinSetsForCAP.gi

Lines changed: 13 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -880,24 +880,19 @@ AddExponentialOnMorphismsWithGivenExponentials( SkeletalFinSets,
880880

881881
mors := ExactCoverWithGlobalElements( cat, MN );
882882

883-
return MapOfFinSets(
884-
cat,
885-
S,
886-
List( mors,
887-
function ( mor )
888-
return
889-
AsList( CartesianLambdaIntroduction( cat,
890-
PreComposeList(
891-
cat,
892-
[ alpha,
893-
CartesianLambdaElimination( cat,
894-
M,
895-
N,
896-
mor ),
897-
beta ] ) ) )[1 + 0];
898-
899-
end ),
900-
T );
883+
return MapOfFinSets( cat,
884+
S,
885+
List( mors, mor ->
886+
AsList( CartesianLambdaIntroduction( cat,
887+
PreComposeList(
888+
cat,
889+
[ alpha,
890+
CartesianLambdaElimination( cat,
891+
M,
892+
N,
893+
mor ),
894+
beta ] ) ) )[1 + 0] ),
895+
T );
901896

902897
end, 1 + Sum( [ [ "ExponentialOnObjects", 1 ],
903898
[ "ExactCoverWithGlobalElements", 1 ],

0 commit comments

Comments
 (0)