Theorem CategoryTheory.Localization.equivalence_counitIso_app

Modification history

2023-08-06 06:23
Mathlib/CategoryTheory/Localization/Equivalence.lean
feat: localization functors are preserved through equivalences (#6236)
Added CategoryTheory.Localization.equivalence_counitIso_appView on Github →