Theorem CategoryTheory.Localization.homEquiv_symm_apply

Modification history