Def CategoryTheory.Functor.uniqueFromEmpty

Modification history