Def CategoryTheory.Functor.Elements.initial

Modification history