Def CategoryTheory.bifunctorComp₁₂Functor

Modification history