Theorem CategoryTheory.Localization.SmallShiftedHom.equiv_mk₀

Modification history