Def CategoryTheory.bifunctorComp₂₃FunctorObj

Modification history