Theorem CategoryTheory.Localization.Construction.wIso_eq_isoOfHom

Modification history