Def CategoryTheory.bifunctorComp₁₂

Modification history