Theorem CategoryTheory.Functor.preservesZeroMorphisms_of_map_exact

Modification history