Theorem CategoryTheory.Functor.preservesZeroMorphisms_of_iso

Modification history