Def CategoryTheory.Functor.rightUnitor

Modification history