Theorem CategoryTheory.Localization.homEquiv_trans

Modification history