Theorem CategoryTheory.ShortComplex.Exact.map_of_preservesLeftHomologyOf

Modification history