Def CategoryTheory.bifunctorComp₂₃Functor

Modification history