Def CategoryTheory.bifunctorComp₂₃Obj

Modification history