Theorem CategoryTheory.Localization.homEquiv_id

Modification history