Def CategoryTheory.Functor.leftUnitor

Modification history