Theorem CategoryTheory.ShiftedHom.neg_comp

Modification history