Theorem CategoryTheory.Localization.hasSmallLocalizedHom_iff_source

Modification history