Theorem CategoryTheory.Functor.preservesZeroMorphisms_of_map_zero_object

Modification history