Def CategoryTheory.Functor.preservesTerminalObjectOfPreservesZeroMorphisms

Modification history