Def CategoryTheory.Functor.leftOpId

Modification history