isTrivialMackeyFunctor MChecks whether $M$ is trivial (meaning isomorphic to the zero Mackey functor).
The object isTrivialMackeyFunctor is a method function.
The source of this document is in CpMackeyFunctors/Documentation/HomomorphismsDoc.m2:321:0.