Theorem CategoryTheory.ShortComplex.abLeftHomologyData_f'

Modification history