Def CategoryTheory.bifunctorComp₂₃

Modification history