Theorem CategoryTheory.ShiftedHom.mk₀_comp_mk₀_assoc

Modification history