Theorem CategoryTheory.Functor.IsLocalization.of_comp

Modification history

2023-09-06 15:49
Mathlib/CategoryTheory/Localization/Composition.lean
feat: composition of localization functors (#6882)
Added CategoryTheory.Functor.IsLocalization.of_compView on Github →