mathlib

5d459fd1 - add composition of pseudofunctor