Theorem CategoryTheory.Localization.hasSmallLocalizedShiftedHom_iff_target

Modification history