Def CategoryTheory.Functor.rightOpComp

Modification history