Def CategoryTheory.Functor.leftDerived

Modification history