Theorem CategoryTheory.Localization.hasSmallLocalizedShiftedHom_iff_source

Modification history