Theorem CategoryTheory.Localization.homEquiv_refl

Modification history