Def CategoryTheory.Functor.Elements.isInitial

Modification history