Theorem CategoryTheory.ShortComplex.Exact.map_of_mono_of_preservesKernel

Modification history