Commit 2023-12-27 08:00 54cf2f5b
View on Github →feat(CategoryTheory/GradedObject): action of a composition of bifunctors (#8242) The action on graded objects of a trifunctor obtained by composition of two bifunctors can be computed as a composition of the actions of these two bifunctors. In this PR, we consider the case when we apply a bifunctor to the first two variables and then a bifunctor to this result and the remaining third variable.