Theorem CategoryTheory.ShiftedHom.mk₀_zero

Modification history