Def CategoryTheory.Functor.leftDerivedObjIso

Modification history