isTrivialMackeyFunctor -- checks if a Mackey functor is trivial or not

• Usage:

  isTrivialMackeyFunctor M

• Inputs:
  • M, a C_p Mackey Functor,
• Outputs:
  • a Boolean value, whether $M$ is trivial or not