Theorem CategoryTheory.shift_equiv_triangle

Modification history