Theorem CategoryTheory.ShiftedHom.comp_neg

Modification history