Theorem CategoryTheory.Functor.IsLocalization.of_equivalence_source

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_equivalence_sourceView on Github →