Structure CategoryTheory.ShortComplex.ShortExact

Modification history