Def CategoryTheory.Functor.preservesInitialObjectOfPreservesZeroMorphisms

Modification history