Def CategoryTheory.bifunctorComp₂₃FunctorMap

Modification history