Theorem CategoryTheory.ShiftedHom.mk₀_comp_mk₀

Modification history