CpMackeyFunctor ++ CpMackeyFunctor -- direct sum of Cp-Mackey functors

• Operator: ++

• Usage:

  M ++ N

• Inputs:
  • M, a C_p Mackey Functor,
  • N, a C_p Mackey Functor,
• Outputs:
  • a C_p Mackey Functor, the direct sum of $M$ and $N$