Theorem CategoryTheory.ShortComplex.Splitting.shortExact

Modification history