Theorem CategoryTheory.Localization.Construction.wInv_eq_isoOfHom_inv

Modification history