Def CategoryTheory.Functor.prod'CompSnd

Modification history