Theorem CategoryTheory.Functor.IsLocalization.of_equivalences

Modification history

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