Theorem CategoryTheory.Localization.homEquiv_eq

Modification history