Closed eparejatobes closed 7 years ago
These are compositions of the sum functor with constant functors.
LGTM
These are compositions of the sum functor with constant functors.