Theorem CategoryTheory.Localization.isoOfHom_unop

Modification history