Def CategoryTheory.Functor.preservesHomologyOfPreservesMonosAndCokernels

Modification history