Def CategoryTheory.Functor.bifunctorComp₂₃Iso

Modification history