Def CategoryTheory.Functor.rightDerivedObjIso

Modification history