MackeyFunctorHomomorphism * MackeyFunctorHomomorphism -- composition of Mackey functor homomorphisms

• Operator: *

• Usage:

  f * g

• Inputs:
  • f, a Mackey Functor homomorphism,
  • g, a Mackey Functor homomorphism,
• Outputs:
  • a Mackey Functor homomorphism, the composition $f \circ g$