Def CategoryTheory.Functor.bifunctorComp₁₂Iso

Modification history