Def CategoryTheory.Functor.rightOpId

Modification history