Theorem CategoryTheory.ShortComplex.ShortExact.extClass_comp

Modification history