Theorem CategoryTheory.ShortComplex.ShortExact.comp_extClass

Modification history