Theorem CategoryTheory.Localization.homEquiv_isoOfHom_inv

Modification history