Theorem CategoryTheory.ShortComplex.ShortExact.extClass_hom

Modification history