Theorem CategoryTheory.Localization.hasSmallLocalizedHom_iff_target

Modification history