Def CategoryTheory.Functor.leftOpComp

Modification history