Theorem CategoryTheory.Localization.isoOfHom_op_inv

Modification history